| Wed, 26 Sep 2012 10:00:59 +0200 | blanchet | renamed "dtor_coinduct" etc. to "dtor_map_coinduct" | changeset | files |
| Wed, 26 Sep 2012 10:00:59 +0200 | blanchet | leave out some internal theorems unless "bnf_note_all" is set | changeset | files |
| Wed, 26 Sep 2012 03:16:40 +0200 | nipkow | tuned | changeset | files |
| Wed, 26 Sep 2012 03:03:11 +0200 | nipkow | added counterexamples | changeset | files |
| Wed, 26 Sep 2012 02:51:59 +0200 | nipkow | tuned | changeset | files |
| Tue, 25 Sep 2012 07:37:42 +0200 | nipkow | tuned | changeset | files |
| Wed, 26 Sep 2012 15:01:45 +0200 | wenzelm | more uniform graphview terminology; | changeset | files |