author | Helmut Grohne <helmut@subdivi.de> | |
Fri, 5 Oct 2012 10:47:09 +0000 (12:47 +0200) | ||
committer | Helmut Grohne <helmut@subdivi.de> | |
Fri, 5 Oct 2012 10:47:09 +0000 (12:47 +0200) | ||
commit | 7ba21759412a8b356f7790ac5f5e413302331183 | |
tree | 58b2f83f1abe029596071e0b151470b122e72102 | tree | snapshot |
parent | 96e45ecbf31c5685fa914882ec4b21b1392c49fc | commit | diff |
BFF.agda | diff | blob | history | |
Bidir.agda | diff | blob | history | |
FreeTheorems.agda | [new file with mode: 0644] | blob |
LiftGet.agda | diff | blob | history |