haftmann [Mon, 14 Aug 2006 13:46:20 +0200] rev 20385
code cleanup, instance_subsort now working
haftmann [Mon, 14 Aug 2006 13:46:19 +0200] rev 20384
added code generator packages
haftmann [Mon, 14 Aug 2006 13:46:17 +0200] rev 20383
adaptions to improvements
haftmann [Mon, 14 Aug 2006 13:46:16 +0200] rev 20382
added add_hook_bootstrap
haftmann [Mon, 14 Aug 2006 13:46:08 +0200] rev 20381
added new files
haftmann [Mon, 14 Aug 2006 13:46:06 +0200] rev 20380
simplified code generator setup
haftmann [Mon, 14 Aug 2006 13:46:05 +0200] rev 20379
added passage on class package
haftmann [Mon, 14 Aug 2006 13:46:03 +0200] rev 20378
updated code generator keywords
berghofe [Mon, 14 Aug 2006 11:26:10 +0200] rev 20377
Removed non-trivial definitions from calc_atm theorem list.
berghofe [Mon, 14 Aug 2006 11:25:08 +0200] rev 20376
Finished implementation of uniqueness proof for recursion combinator.