diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2013-01-10 13:11:41 +0100 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2013-01-10 13:11:41 +0100 |
| commit | f1cc5478163878f72198e1b8530c14798732b4b1 (patch) | |
| tree | afeed1c3049efe7e0607ec08da5ca8fe100cc7ed /FinMap.agda | |
| parent | 324461eb4184c99c0f1e715c2e65decf3f71a980 (diff) | |
| download | bidiragda-f1cc5478163878f72198e1b8530c14798732b4b1.tar.gz | |
use different formulation of all-different
Suggested by Joachim Breitner.
Diffstat (limited to 'FinMap.agda')
0 files changed, 0 insertions, 0 deletions