2009-11-24 added something about unifiacation and instantiations
Christian Urban <urbanc@in.tum.de> [Tue, 24 Nov 2009 22:55:44 +0100] rev 403
added something about unifiacation and instantiations
2009-11-24 tuned solution with comb_conv
Christian Urban <urbanc@in.tum.de> [Tue, 24 Nov 2009 16:34:39 +0100] rev 402
tuned solution with comb_conv
2009-11-22 updated to new Isabelle and clarified Skip_Proof
Christian Urban <urbanc@in.tum.de> [Sun, 22 Nov 2009 15:27:10 +0100] rev 401
updated to new Isabelle and clarified Skip_Proof
2009-11-22 tuning
Christian Urban <urbanc@in.tum.de> [Sun, 22 Nov 2009 03:13:29 +0100] rev 400
tuning
2009-11-20 tuned
Christian Urban <urbanc@in.tum.de> [Sat, 21 Nov 2009 00:29:43 +0100] rev 399
tuned
2009-11-20 started something about sorts
Christian Urban <urbanc@in.tum.de> [Fri, 20 Nov 2009 03:03:04 +0100] rev 398
started something about sorts
2009-11-19 tuned
Christian Urban <urbanc@in.tum.de> [Thu, 19 Nov 2009 20:23:15 +0100] rev 397
tuned
2009-11-19 tuned
Christian Urban <urbanc@in.tum.de> [Thu, 19 Nov 2009 20:00:10 +0100] rev 396
tuned
2009-11-19 spilt the Essential's chapter
Christian Urban <urbanc@in.tum.de> [Thu, 19 Nov 2009 17:48:44 +0100] rev 395
spilt the Essential's chapter
2009-11-19 updated to new Isabelle
Christian Urban <urbanc@in.tum.de> [Thu, 19 Nov 2009 14:11:50 +0100] rev 394
updated to new Isabelle
2009-11-18 tuned
Christian Urban <urbanc@in.tum.de> [Wed, 18 Nov 2009 14:06:01 +0100] rev 393
tuned
2009-11-17 modified the typ-pretty-printer and added parser exercise
Christian Urban <urbanc@in.tum.de> [Tue, 17 Nov 2009 23:59:19 +0100] rev 392
modified the typ-pretty-printer and added parser exercise
2009-11-17 added exercise
Christian Urban <urbanc@in.tum.de> [Tue, 17 Nov 2009 20:36:18 +0100] rev 391
added exercise
2009-11-17 added example by Lukas Bulwahn
Christian Urban <urbanc@in.tum.de> [Tue, 17 Nov 2009 18:40:11 +0100] rev 390
added example by Lukas Bulwahn
2009-11-15 tuned
Christian Urban <urbanc@in.tum.de> [Sun, 15 Nov 2009 13:47:31 +0100] rev 389
tuned
2009-11-15 added Skip_Proof.mk_thm and some pointers about concurrency
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
2009-11-12 completed the unification section
Christian Urban <urbanc@in.tum.de> [Thu, 12 Nov 2009 20:35:14 +0100] rev 387
completed the unification section
2009-11-12 tuned
Christian Urban <urbanc@in.tum.de> [Thu, 12 Nov 2009 10:06:26 +0100] rev 386
tuned
2009-11-11 updated to new Isabelle
Christian Urban <urbanc@in.tum.de> [Wed, 11 Nov 2009 12:15:48 +0100] rev 385
updated to new Isabelle
2009-11-11 tuned
Christian Urban <urbanc@in.tum.de> [Wed, 11 Nov 2009 05:34:46 +0100] rev 384
tuned
2009-11-10 tuned
Christian Urban <urbanc@in.tum.de> [Tue, 10 Nov 2009 12:17:08 +0100] rev 383
tuned
2009-11-10 tuned
Christian Urban <urbanc@in.tum.de> [Tue, 10 Nov 2009 06:24:00 +0100] rev 382
tuned
2009-11-10 added more to the unification section
Christian Urban <urbanc@in.tum.de> [Tue, 10 Nov 2009 04:57:42 +0100] rev 381
added more to the unification section
2009-11-09 tuned
Christian Urban <urbanc@in.tum.de> [Mon, 09 Nov 2009 10:07:08 +0100] rev 380
tuned
(0) -300 -100 -50 -24 +24 +50 +100 tip