author | Helmut Grohne <helmut@subdivi.de> | |
Sun, 31 Mar 2019 19:47:21 +0000 (21:47 +0200) | ||
committer | Helmut Grohne <helmut@subdivi.de> | |
Sun, 31 Mar 2019 19:47:21 +0000 (21:47 +0200) | ||
commit | 121094635514bf07bb91d6b7d16a45674c74f34e | |
tree | c7f9c952c05774fd78d9c25e615b0a4da26d6846 | tree | snapshot |
parent | 50f61bef184194fc48dd1415800830d032495f51 | commit | diff |
Bidir.agda | diff | blob | history | |
FinMap.agda | diff | blob | history | |
Precond.agda | diff | blob | history |