| Thu, 02 Sep 2010 10:14:32 +0200 | hoelzl | Add lessThan_Suc_eq_insert_0 | changeset | files |
| Thu, 02 Sep 2010 17:02:00 +0200 | haftmann | merged | changeset | files |
| Thu, 02 Sep 2010 17:01:49 +0200 | haftmann | updated | changeset | files |
| Thu, 02 Sep 2010 16:53:23 +0200 | haftmann | set printmode while marking | changeset | files |
| Thu, 02 Sep 2010 16:53:23 +0200 | haftmann | updated | changeset | files |
| Thu, 02 Sep 2010 16:42:19 +0200 | haftmann | avoid reference to theory Ferrack altogether | changeset | files |
| Thu, 02 Sep 2010 16:41:44 +0200 | haftmann | more canonical theory setup | changeset | files |
| Thu, 02 Sep 2010 16:41:42 +0200 | haftmann | set depth to 1 | changeset | files |
| Thu, 02 Sep 2010 16:41:42 +0200 | haftmann | avoid theory Imperative_HOL altogether | changeset | files |
| Thu, 02 Sep 2010 16:41:41 +0200 | haftmann | adapted to change eq -> equal | changeset | files |
| Thu, 02 Sep 2010 16:14:13 +0200 | haftmann | corrected printmode handling | changeset | files |
| Thu, 02 Sep 2010 16:14:13 +0200 | haftmann | swapped slip | changeset | files |
| Thu, 02 Sep 2010 16:14:09 +0200 | haftmann | updated | changeset | files |
| Thu, 02 Sep 2010 15:09:51 +0200 | haftmann | restored and added surpression of case combinators | changeset | files |
| Thu, 02 Sep 2010 14:59:28 +0200 | haftmann | dropped superfluous presentation names | changeset | files |