author | Helmut Grohne <helmut@subdivi.de> | |
Sun, 31 Mar 2019 19:14:50 +0000 (21:14 +0200) | ||
committer | Helmut Grohne <helmut@subdivi.de> | |
Sun, 31 Mar 2019 19:14:50 +0000 (21:14 +0200) | ||
commit | 4d2b9ba79a5a35ad63ee941f0681697cf017dfd0 | |
tree | e2b8519ce63b03b470d970f8338048bdaac5597f | tree | snapshot |
parent | 25d4df9182c92ef26979566f06c7c9f17746f0fb | commit | diff |
FinMap.agda | diff | blob | history | |
Precond.agda | diff | blob | history |