author | Helmut Grohne <grohne@cs.uni-bonn.de> | |
Fri, 7 Mar 2014 14:18:24 +0000 (15:18 +0100) | ||
committer | Helmut Grohne <grohne@cs.uni-bonn.de> | |
Fri, 7 Mar 2014 14:27:32 +0000 (15:27 +0100) | ||
commit | 3616445f9a60402701ca00a22e9e6e2fbe95c741 | |
tree | 5dfc884e740a96b0b9615173fbce361f3c5ac25f | tree | snapshot |
parent | 0041fbe99eab12df177e877bd5fe8d2f6fce9b0d | commit | diff |
Everything.agda | diff | blob | history | |
Structures.agda | [new file with mode: 0644] | blob |