| Thu, 17 Aug 2006 09:24:50 +0200 | haftmann | dropped definitions_of | changeset | files |
| Thu, 17 Aug 2006 09:24:49 +0200 | haftmann | added all_super_classes | changeset | files |
| Thu, 17 Aug 2006 09:24:48 +0200 | haftmann | renamed module to thyname | changeset | files |
| Thu, 17 Aug 2006 09:24:47 +0200 | haftmann | cleanup | changeset | files |
| Wed, 16 Aug 2006 16:44:41 +0200 | urbanc | added missing supp_nat lemma | changeset | files |
| Mon, 14 Aug 2006 13:47:00 +0200 | haftmann | added | changeset | files |
| Mon, 14 Aug 2006 13:46:21 +0200 | haftmann | module restructuring | changeset | files |
| Mon, 14 Aug 2006 13:46:20 +0200 | haftmann | code cleanup, instance_subsort now working | changeset | files |
| Mon, 14 Aug 2006 13:46:19 +0200 | haftmann | added code generator packages | changeset | files |
| Mon, 14 Aug 2006 13:46:17 +0200 | haftmann | adaptions to improvements | changeset | files |
| Mon, 14 Aug 2006 13:46:16 +0200 | haftmann | added add_hook_bootstrap | changeset | files |
| Mon, 14 Aug 2006 13:46:08 +0200 | haftmann | added new files | changeset | files |
| Mon, 14 Aug 2006 13:46:06 +0200 | haftmann | simplified code generator setup | changeset | files |
| Mon, 14 Aug 2006 13:46:05 +0200 | haftmann | added passage on class package | changeset | files |