author | Helmut Grohne <grohne@cs.uni-bonn.de> | |
Mon, 5 Jan 2015 09:40:23 +0000 (10:40 +0100) | ||
committer | Helmut Grohne <grohne@cs.uni-bonn.de> | |
Mon, 5 Jan 2015 09:40:23 +0000 (10:40 +0100) | ||
commit | c5f982320394b5083e4ebca921c1cd5e88df9b14 | |
tree | b397cf1fb4ee697699fe59031c3203c68e46266b | tree | snapshot |
parent | 69f47cad0ac14a7549e1e94b9f9a40f9935ad99e | commit | diff |
LiftGet.agda | diff | blob | history |