Fri, 20 Sep 2024 19:51:08 +0200 |
wenzelm |
standardize mixfix annotations via "isabelle update -a -u mixfix_cartouches" --- to simplify systematic editing;
|
file |
diff |
annotate
|
Fri, 15 Jun 2018 13:02:12 +0200 |
nipkow |
empty -> Map.empty
|
file |
diff |
annotate
|
Wed, 10 Aug 2016 09:33:54 +0200 |
nipkow |
"split add" -> "split"
|
file |
diff |
annotate
|
Fri, 29 Jul 2016 20:34:07 +0200 |
wenzelm |
more accurate cong del;
|
file |
diff |
annotate
|
Sat, 02 Jan 2016 18:48:45 +0100 |
wenzelm |
isabelle update_cartouches -c -t;
|
file |
diff |
annotate
|
Sun, 02 Nov 2014 18:16:19 +0100 |
wenzelm |
modernized header;
|
file |
diff |
annotate
|
Mon, 18 Aug 2014 17:19:58 +0200 |
blanchet |
reordered some (co)datatype property names for more consistency
|
file |
diff |
annotate
|
Wed, 11 Jun 2014 14:24:23 +1000 |
Thomas Sewell |
Hypsubst preserves equality hypotheses
|
file |
diff |
annotate
|
Fri, 14 Feb 2014 07:53:46 +0100 |
blanchet |
merged 'Option.map' and 'Option.map_option'
|
file |
diff |
annotate
|
Wed, 12 Feb 2014 08:37:06 +0100 |
blanchet |
adapted to 'xxx_{case,rec}' renaming, to new theorem names, and to new variable names in theorems
|
file |
diff |
annotate
|
Sun, 15 Jan 2012 14:17:42 +0100 |
wenzelm |
tuned proofs;
|
file |
diff |
annotate
|
Sat, 14 Jan 2012 16:14:22 +0100 |
wenzelm |
tuned white space;
|
file |
diff |
annotate
|
Fri, 18 Feb 2011 16:36:42 +0100 |
wenzelm |
modernized specifications;
|
file |
diff |
annotate
|
Mon, 26 Jul 2010 17:41:26 +0200 |
wenzelm |
modernized/unified some specifications;
|
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, 10 Feb 2010 00:50:36 +0100 |
wenzelm |
removed obsolete CVS Ids;
|
file |
diff |
annotate
|
Sat, 17 Oct 2009 14:43:18 +0200 |
wenzelm |
eliminated hard tabulators, guessing at each author's individual tab-width;
|
file |
diff |
annotate
|
Wed, 04 Mar 2009 10:47:20 +0100 |
nipkow |
Made Option a separate theory and renamed option_map to Option.map
|
file |
diff |
annotate
|
Sun, 30 Sep 2007 21:55:15 +0200 |
wenzelm |
avoid internal names;
|
file |
diff |
annotate
|
Fri, 17 Jun 2005 16:12:49 +0200 |
haftmann |
migrated theory headers to new format
|
file |
diff |
annotate
|
Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
Mon, 26 Apr 2004 14:56:18 +0200 |
wenzelm |
*** empty log message ***
|
file |
diff |
annotate
|
Wed, 14 May 2003 10:22:09 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Thu, 31 Oct 2002 18:27:10 +0100 |
schirmer |
"Definite Assignment Analysis" included, with proof of correctness. Large adjustments of type safety proof and soundness proof of the axiomatic semantics were necessary. Completeness proof of the loop rule of the axiomatic semantic was altered. So the additional polymorphic variants of some rules could be removed.
|
file |
diff |
annotate
|
Fri, 22 Feb 2002 11:26:44 +0100 |
schirmer |
Added check for field/method access to operational semantics and proved the acesses valid.
|
file |
diff |
annotate
|
Fri, 15 Feb 2002 20:41:39 +0100 |
wenzelm |
replaced nodups by distinct;
|
file |
diff |
annotate
|
Mon, 28 Jan 2002 18:51:48 +0100 |
wenzelm |
GPLed;
|
file |
diff |
annotate
|
Mon, 28 Jan 2002 18:50:23 +0100 |
wenzelm |
tuned header;
|
file |
diff |
annotate
|
Mon, 28 Jan 2002 17:00:19 +0100 |
schirmer |
Isabelle/Bali sources;
|
file |
diff |
annotate
|