| Sun, 02 Nov 2014 17:58:35 +0100 |
wenzelm |
modernized header;
|
file |
diff |
annotate
|
| Sat, 01 Nov 2014 14:20:38 +0100 |
wenzelm |
eliminated spurious semicolons;
|
file |
diff |
annotate
|
| Thu, 13 Mar 2014 07:07:07 +0100 |
nipkow |
enhanced simplifier solver for preconditions of rewrite rule, can now deal with conjunctions
|
file |
diff |
annotate
|
| Sun, 16 Feb 2014 21:33:28 +0100 |
blanchet |
folded 'list_all2' with the relator generated by 'datatype_new'
|
file |
diff |
annotate
|
| Mon, 05 Aug 2013 17:52:07 +0200 |
wenzelm |
tuned proofs;
|
file |
diff |
annotate
|
| Thu, 24 May 2012 22:41:27 +0200 |
wenzelm |
tuned proofs;
|
file |
diff |
annotate
|
| Sat, 23 Apr 2011 13:00:19 +0200 |
wenzelm |
modernized specifications;
|
file |
diff |
annotate
|
| Tue, 29 Mar 2011 17:30:26 +0200 |
wenzelm |
tuned headers;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2010 13:42:31 +0100 |
haftmann |
merged
|
file |
diff |
annotate
|
| Mon, 01 Mar 2010 13:40:23 +0100 |
haftmann |
replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
|
file |
diff |
annotate
|
| Wed, 24 Feb 2010 22:09:50 +0100 |
wenzelm |
modernized syntax declarations, and make them actually work with authentic syntax;
|
file |
diff |
annotate
|
| Tue, 24 Nov 2009 14:37:23 +0100 |
haftmann |
backported parts of abstract byte code verifier from AFP/Jinja
|
file |
diff |
annotate
|
| Fri, 09 Nov 2007 19:37:30 +0100 |
wenzelm |
tuned proofs -- avoid open cases;
|
file |
diff |
annotate
|
| Wed, 07 Feb 2007 17:44:07 +0100 |
berghofe |
Adapted to new inductive definition package.
|
file |
diff |
annotate
|
| Fri, 17 Jun 2005 16:12:49 +0200 |
haftmann |
migrated theory headers to new format
|
file |
diff |
annotate
|
| Wed, 14 May 2003 10:22:09 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Wed, 23 Oct 2002 16:09:02 +0200 |
streckem |
Added compiler
|
file |
diff |
annotate
|
| Sun, 03 Mar 2002 16:59:08 +0100 |
kleing |
symbolized
|
file |
diff |
annotate
|
| Thu, 21 Feb 2002 09:54:08 +0100 |
kleing |
new document
|
file |
diff |
annotate
|
| Sun, 16 Dec 2001 00:17:44 +0100 |
kleing |
exceptions
|
file |
diff |
annotate
|
| Tue, 12 Jun 2001 14:11:00 +0200 |
oheimb |
corrected xsymbol/HTML syntax
|
file |
diff |
annotate
|
| Sun, 07 Jan 2001 18:43:13 +0100 |
kleing |
merged semilattice orders with <=' from Convert.thy (now defined in JVMType.thy)
|
file |
diff |
annotate
|