author | Helmut Grohne <grohne@cs.uni-bonn.de> | |
Wed, 26 Feb 2014 08:16:19 +0000 (09:16 +0100) | ||
committer | Helmut Grohne <grohne@cs.uni-bonn.de> | |
Wed, 26 Feb 2014 08:16:19 +0000 (09:16 +0100) | ||
commit | 28e7397a76be229ba723e49db51d2bf0b87c5493 | |
tree | 809131bc5b5afbfc6d6e6a34b957e22a1d0a446c | tree | snapshot |
parent | 8d0659f5dcfec4fc75096aa188c99af35c23bad5 | commit | diff |
LiftGet.agda | diff | blob | history |