author | Helmut Grohne <grohne@cs.uni-bonn.de> | |
Mon, 3 Feb 2014 13:41:19 +0000 (14:41 +0100) | ||
committer | Helmut Grohne <grohne@cs.uni-bonn.de> | |
Mon, 3 Feb 2014 13:41:19 +0000 (14:41 +0100) | ||
commit | 6eff9c9c93e942ac4bf39cd6d62c0ae0d601c1ae | |
tree | 0225b7dcd6e2122de7fed65cec3cd2bf55bbc68b | tree | snapshot |
parent | fd78e72b45e3e78286f2c68d2abe743da0171c90 | commit | diff |
LiftGet.agda | diff | blob | history |