Fri, 07 Dec 2007 15:07:59 +0100 |
haftmann |
instantiation target rather than legacy instance
|
file |
diff |
annotate
|
Thu, 29 Nov 2007 17:08:26 +0100 |
haftmann |
instance command as rudimentary class target
|
file |
diff |
annotate
|
Sun, 06 May 2007 21:50:17 +0200 |
haftmann |
changed code generator invocation syntax
|
file |
diff |
annotate
|
Fri, 20 Apr 2007 11:21:42 +0200 |
haftmann |
Isar definitions are now added explicitly to code theorem table
|
file |
diff |
annotate
|
Tue, 20 Mar 2007 15:52:40 +0100 |
haftmann |
added instance for lattice
|
file |
diff |
annotate
|
Thu, 25 Jan 2007 09:32:36 +0100 |
haftmann |
improved
|
file |
diff |
annotate
|
Wed, 22 Nov 2006 10:20:18 +0100 |
haftmann |
added code lemmas
|
file |
diff |
annotate
|
Sat, 27 May 2006 17:42:02 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 31 Aug 2005 15:46:37 +0200 |
wenzelm |
tuned presentation;
|
file |
diff |
annotate
|
Fri, 15 Apr 2005 14:14:24 +0200 |
nipkow |
New
|
file |
diff |
annotate
|