Christian Urban <urbanc@in.tum.de> [Tue, 17 Nov 2009 18:40:11 +0100] rev 390
added example by Lukas Bulwahn
Christian Urban <urbanc@in.tum.de> [Sun, 15 Nov 2009 13:47:31 +0100] rev 389
tuned
Christian Urban <urbanc@in.tum.de> [Sun, 15 Nov 2009 13:18:07 +0100] rev 388
added Skip_Proof.mk_thm and some pointers about concurrency
Christian Urban <urbanc@in.tum.de> [Thu, 12 Nov 2009 20:35:14 +0100] rev 387
completed the unification section
Christian Urban <urbanc@in.tum.de> [Thu, 12 Nov 2009 10:06:26 +0100] rev 386
tuned
Christian Urban <urbanc@in.tum.de> [Wed, 11 Nov 2009 12:15:48 +0100] rev 385
updated to new Isabelle
Christian Urban <urbanc@in.tum.de> [Wed, 11 Nov 2009 05:34:46 +0100] rev 384
tuned
Christian Urban <urbanc@in.tum.de> [Tue, 10 Nov 2009 12:17:08 +0100] rev 383
tuned
Christian Urban <urbanc@in.tum.de> [Tue, 10 Nov 2009 06:24:00 +0100] rev 382
tuned
Christian Urban <urbanc@in.tum.de> [Tue, 10 Nov 2009 04:57:42 +0100] rev 381
added more to the unification section
Christian Urban <urbanc@in.tum.de> [Mon, 09 Nov 2009 10:07:08 +0100] rev 380
tuned
Christian Urban <urbanc@in.tum.de> [Mon, 09 Nov 2009 09:48:38 +0100] rev 379
tuned
Christian Urban <urbanc@in.tum.de> [Mon, 09 Nov 2009 09:25:51 +0100] rev 378
section about matching and unification of types
Christian Urban <urbanc@in.tum.de> [Sat, 07 Nov 2009 10:08:09 +0100] rev 377
added a section about unification and matching
Christian Urban <urbanc@in.tum.de> [Sat, 07 Nov 2009 01:44:11 +0100] rev 376
removed comment about compiler bug