author | Helmut Grohne <grohne@cs.uni-bonn.de> | |
Fri, 26 Sep 2014 11:02:25 +0000 (13:02 +0200) | ||
committer | Helmut Grohne <grohne@cs.uni-bonn.de> | |
Fri, 26 Sep 2014 11:02:25 +0000 (13:02 +0200) | ||
commit | f9fc1aba9386216a6a01ba17d85fcae71756d928 | |
tree | 723a6b00a3baa12e618839f1e0de5f852aff1b99 | tree | snapshot |
parent | 51dad2ec627203822e1879e3d58ae5331e58d414 | commit | diff |
BFFPlug.agda | diff | blob | history |