| Sat, 05 Jan 2019 17:24:33 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
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
|
| Thu, 26 May 2016 17:51:22 +0200 |
wenzelm |
isabelle update_cartouches -c -t;
|
file |
diff |
annotate
|
| Mon, 10 Nov 2014 21:49:48 +0100 |
wenzelm |
proper context for assume_tac (atac remains as fall-back without context);
|
file |
diff |
annotate
|
| Sun, 02 Nov 2014 18:21:45 +0100 |
wenzelm |
modernized header uniformly as section;
|
file |
diff |
annotate
|
| Sun, 21 Aug 2011 22:13:04 +0200 |
krauss |
modernized specifications
|
file |
diff |
annotate
|
| Tue, 28 Sep 2010 12:47:55 +0200 |
haftmann |
modernized primrecs
|
file |
diff |
annotate
|
| Thu, 11 Feb 2010 00:45:02 +0100 |
wenzelm |
modernized translations;
|
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
|
| Fri, 13 Oct 2006 18:15:18 +0200 |
berghofe |
Adapted to changes in FixedPoint theory.
|
file |
diff |
annotate
|
| Fri, 17 Jun 2005 16:12:49 +0200 |
haftmann |
migrated theory headers to new format
|
file |
diff |
annotate
|
| Mon, 25 Feb 2002 18:02:22 +0100 |
oheimb |
Clarification wrt. use of polymorphic variants of Hoare logic rules
|
file |
diff |
annotate
|
| Mon, 14 Jan 2002 00:16:43 +0100 |
oheimb |
cosmetics
|
file |
diff |
annotate
|
| Mon, 15 Oct 2001 17:02:57 +0200 |
oheimb |
renamed reset_locs to del_locs
|
file |
diff |
annotate
|
| Fri, 21 Sep 2001 18:23:15 +0200 |
oheimb |
Minor improvements, added Example
|
file |
diff |
annotate
|