| Fri, 19 Apr 2013 11:09:18 +0100 |
Christian Urban |
updated to simplifier change
|
file |
diff |
annotate
|
| Sat, 01 Dec 2012 14:51:19 +0000 |
Christian Urban |
updated to new isabelle
|
file |
diff |
annotate
|
| Mon, 30 Apr 2012 14:43:52 +0100 |
Christian Urban |
removed special ML-setup and replaced it by explicit markups (i.e., %grayML)
|
file |
diff |
annotate
|
| Tue, 17 May 2011 19:46:53 +0200 |
Christian Urban |
updated to new Isabelle
|
file |
diff |
annotate
|
| Mon, 17 May 2010 17:27:21 +0100 |
Christian Urban |
updated to new isabelle
|
file |
diff |
annotate
|
| Wed, 07 Apr 2010 11:12:12 +0200 |
Christian Urban |
updated to new Isabelle
|
file |
diff |
annotate
|
| Wed, 25 Nov 2009 21:00:31 +0100 |
Christian Urban |
added RANGE
|
file |
diff |
annotate
|
| Tue, 13 Oct 2009 22:57:25 +0200 |
Christian Urban |
tuned the ML-output mechanism; tuned slightly the text
|
file |
diff |
annotate
|
| Tue, 23 Jun 2009 04:05:01 +0200 |
Christian Urban |
updated to new Isabelle
|
file |
diff |
annotate
|
| Sun, 17 May 2009 16:22:27 +0200 |
Christian Urban |
some polishing; added together with Jasmin more examples to the pretty printing section
|
file |
diff |
annotate
|
| Fri, 03 Apr 2009 07:55:07 +0100 |
Christian Urban |
various additions
|
file |
diff |
annotate
|
| Thu, 02 Apr 2009 11:48:35 +0100 |
Christian Urban |
section for further material about simple inductive
|
file |
diff |
annotate
|