| Sat, 05 Jan 2019 17:24:33 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
| Wed, 25 May 2016 11:50:58 +0200 |
wenzelm |
isabelle update_cartouches -c -t;
|
file |
diff |
annotate
|
| Sun, 02 Nov 2014 18:21:45 +0100 |
wenzelm |
modernized header uniformly as section;
|
file |
diff |
annotate
|
| Tue, 21 Feb 2012 17:09:17 +0100 |
wenzelm |
tuned proofs;
|
file |
diff |
annotate
|
| Thu, 22 Jul 2010 18:08:39 +0200 |
wenzelm |
updated some headers;
|
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
|
| Fri, 21 Nov 2008 13:17:43 +0100 |
paulson |
Strange. The proof worked in the 2008 release. In order to make it work now, the last line of the proof must be moved up two places. In other words, the first proof step is now returning its subgoals in a different order from before.
|
file |
diff |
annotate
|
| Thu, 20 Nov 2008 19:43:34 +0100 |
wenzelm |
reactivated some dead theories (based on hints by Mark Hillebrand);
|
file |
diff |
annotate
|
| Tue, 03 Jan 2006 15:43:54 +0100 |
paulson |
added explicit paths to required theories
|
file |
diff |
annotate
|
| Fri, 17 Jun 2005 16:12:49 +0200 |
haftmann |
migrated theory headers to new format
|
file |
diff |
annotate
|
| Thu, 02 Jun 2005 13:47:08 +0200 |
paulson |
renamed "constrains" to "safety" to avoid keyword clash
|
file |
diff |
annotate
|
| Mon, 17 Mar 2003 17:37:48 +0100 |
paulson |
More "progress set" material
|
file |
diff |
annotate
|
| Thu, 06 Mar 2003 15:08:38 +0100 |
paulson |
new UNITY examples theory
|
file |
diff |
annotate
|
| Wed, 05 Mar 2003 16:03:33 +0100 |
paulson |
new examples theory
|
file |
diff |
annotate
|