author | Helmut Grohne <grohne@cs.uni-bonn.de> | |
Mon, 24 Feb 2014 13:58:01 +0000 (14:58 +0100) | ||
committer | Helmut Grohne <grohne@cs.uni-bonn.de> | |
Mon, 24 Feb 2014 13:58:01 +0000 (14:58 +0100) | ||
commit | 54c29d2ce4d4e8a33d77bc787b2c5132f2089835 | |
tree | 2720ad09a13963676ff6857c433b5768c97c1418 | tree | snapshot |
parent | 6958d1c19cda39564508e0638648eacf32c71509 | commit | diff |
Bidir.agda | diff | blob | history |