projects / ~helmut / bidiragda.git / commit
| 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 |