| Wed, 17 Jun 2015 20:21:40 +0200 | nipkow | added funs and lemmas | changeset | files |
| Wed, 17 Jun 2015 18:58:46 +0200 | wenzelm | tuned proofs; | changeset | files |
| Wed, 17 Jun 2015 18:22:29 +0200 | wenzelm | merged | changeset | files |
| Wed, 17 Jun 2015 17:54:09 +0200 | wenzelm | manual merge; | changeset | files |
| Wed, 17 Jun 2015 17:52:04 +0200 | wenzelm | tuned proofs; | changeset | files |
| Wed, 17 Jun 2015 11:03:05 +0200 | wenzelm | isabelle update_cartouches; | changeset | files |
| Wed, 17 Jun 2015 10:57:11 +0200 | wenzelm | avoid dynamic parsing of hardwired strings; | changeset | files |
| Wed, 17 Jun 2015 18:13:44 +0200 | nipkow | more compact name | changeset | files |
| Wed, 17 Jun 2015 17:33:22 +0200 | nipkow | NEWS | changeset | files |
| Wed, 17 Jun 2015 17:21:20 +0200 | nipkow | merged | changeset | files |
| Wed, 17 Jun 2015 17:21:11 +0200 | nipkow | renamed Multiset.set_of to the canonical set_mset | changeset | files |
| Wed, 17 Jun 2015 15:15:52 +0100 | paulson | correccted the pretty-printing specs for setsum and setprod | changeset | files |