diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-01-19 12:27:53 +0100 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-01-19 12:27:53 +0100 |
| commit | ce0fc8fe4e14491e52e796d2ddbaa07d90060697 (patch) | |
| tree | dc3ee3e75bc61e1bdefadbbbb59f64ae81331b1e /.gitignore | |
| parent | 7276a09107901570b11deb6bc18f017a4982a158 (diff) | |
| download | bidiragda-ce0fc8fe4e14491e52e796d2ddbaa07d90060697.tar.gz | |
replaced NatMap with FinMap
The domain of the map is always limited. So using Fin n as the domain is
natural. Additionally FinMaps are now semantically equal iff their normal form
is the same. That means \== can be used.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions