| Wed, 18 Sep 2013 11:36:12 +0200 | wenzelm | more antiquotations; | changeset | files |
| Wed, 18 Sep 2013 11:08:28 +0200 | wenzelm | moved module into plain Isabelle/ML user space; | changeset | files |
| Wed, 18 Sep 2013 20:44:10 +0200 | blanchet | more primcorec tactics | changeset | files |
| Wed, 18 Sep 2013 20:43:55 +0200 | blanchet | enrich data structure | changeset | files |
| Wed, 18 Sep 2013 19:57:59 +0200 | blanchet | include more "discI" rules | changeset | files |
| Wed, 18 Sep 2013 18:57:32 +0200 | blanchet | updated docs | changeset | files |
| Wed, 18 Sep 2013 18:57:09 +0200 | blanchet | tuning (alphabetical order) | changeset | files |