diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-04-17 12:10:35 +0200 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-04-17 12:10:35 +0200 |
| commit | dabd8455638d0cea486dd94dcdd13729077018d7 (patch) | |
| tree | 79ece5f9819424200f555fd12e2df13a865d3d00 /FinMap.agda | |
| parent | f429f2e2027fc75e3d40f4be43322fa02bb3ab8c (diff) | |
| download | bidiragda-dabd8455638d0cea486dd94dcdd13729077018d7.tar.gz | |
inline bot-elim into lemma-just-nothing
Seems like the more common use case.
Diffstat (limited to 'FinMap.agda')
0 files changed, 0 insertions, 0 deletions