author | Helmut Grohne <grohne@cs.uni-bonn.de> | |
Mon, 3 Feb 2014 10:41:14 +0000 (11:41 +0100) | ||
committer | Helmut Grohne <grohne@cs.uni-bonn.de> | |
Mon, 3 Feb 2014 10:41:14 +0000 (11:41 +0100) | ||
commit | fd78e72b45e3e78286f2c68d2abe743da0171c90 | |
tree | 2109415a43946ddd2ba485a953f91252c2f62543 | tree | snapshot |
parent | 19670abeff9895de593ef26ad2da247ae590ce90 | commit | diff |
LiftGet.agda | diff | blob | history |