diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-09-11 23:36:41 +0200 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-09-11 23:36:41 +0200 |
| commit | 585ebc3a11db7b6544817b6f527efcba48982d6c (patch) | |
| tree | eb0d08324afb0ee6ea23c420a79c65e3ed9c418f /.gitignore | |
| parent | d3f12c72cb10462ac5ebce3a8cda462c70bff3d9 (diff) | |
| download | bidiragda-585ebc3a11db7b6544817b6f527efcba48982d6c.tar.gz | |
show fromList-toList in the subst form
Thanks to Joachim Breitner for assisting and pointing to
proof-irrelevance.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions