author | Helmut Grohne <grohne@cs.uni-bonn.de> | |
Mon, 10 Mar 2014 08:31:57 +0000 (09:31 +0100) | ||
committer | Helmut Grohne <grohne@cs.uni-bonn.de> | |
Mon, 10 Mar 2014 08:31:57 +0000 (09:31 +0100) | ||
commit | 3532b34beabbaa6967fe660385c4b4036493a8f1 | |
tree | a3e9b9bc35c9df934f62bfd4df399c3eda7bd531 | tree | snapshot |
parent | dab051e89bbe904587a047d239e79610554d5c91 | commit | diff |
Bidir.agda | diff | blob | history | |
Instances.agda | diff | blob | history |