author | Helmut Grohne <grohne@cs.uni-bonn.de> | |
Tue, 4 Mar 2014 17:58:25 +0000 (18:58 +0100) | ||
committer | Helmut Grohne <grohne@cs.uni-bonn.de> | |
Tue, 4 Mar 2014 17:58:25 +0000 (18:58 +0100) | ||
commit | e08856e01eecdd1c06fe9607eb91b5ed5baaed02 | |
tree | 7ecd90ee76c0bd51ede951ccb0772354893e44ef | tree | snapshot |
parent | bec4b138090e87fe92c970ca98010e60707c44f9 | commit | diff |
Bidir.agda | diff | blob | history |