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
|
Tue, 23 Jul 2024 15:54:43 +0100 |
paulson |
A lot of new material from the Ramsey development, including a couple of new simprules.
|
file |
diff |
annotate
|
Sat, 05 Jan 2019 17:24:33 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
Wed, 26 Dec 2018 16:25:20 +0100 |
wenzelm |
isabelle update_cartouches -t;
|
file |
diff |
annotate
|
Mon, 20 Aug 2018 20:54:26 +0200 |
nipkow |
avoid session qualification because no tex is generated when used;
|
file |
diff |
annotate
|
Fri, 22 Jun 2018 20:31:49 +0200 |
wenzelm |
clarified document antiquotation @{theory};
|
file |
diff |
annotate
|
Fri, 12 Jan 2018 14:08:53 +0100 |
wenzelm |
isabelle update_cartouches -c;
|
file |
diff |
annotate
|
Wed, 10 Jan 2018 15:25:09 +0100 |
nipkow |
ran isabelle update_op on all sources
|
file |
diff |
annotate
|
Tue, 07 Nov 2017 14:52:27 +0100 |
nipkow |
Replaced { } proofs by local lemmas; added Hoare logic with logical variables.
|
file |
diff |
annotate
|
Fri, 22 Jul 2016 11:00:43 +0200 |
wenzelm |
tuned proofs -- avoid unstructured calculation;
|
file |
diff |
annotate
|
Tue, 23 Feb 2016 16:25:08 +0100 |
nipkow |
more canonical names
|
file |
diff |
annotate
|
Thu, 10 Sep 2015 11:03:29 +0200 |
nipkow |
tuned
|
file |
diff |
annotate
|
Thu, 20 Mar 2014 09:47:43 +0100 |
kleing |
pointer to the other proof direction
|
file |
diff |
annotate
|
Thu, 26 Sep 2013 11:41:01 +0200 |
nipkow |
tuned
|
file |
diff |
annotate
|
Wed, 25 Sep 2013 15:49:09 +0200 |
nipkow |
tuned
|
file |
diff |
annotate
|
Sun, 01 Sep 2013 16:38:04 +1000 |
kleing |
remove redundant (simp del: ..)
|
file |
diff |
annotate
|
Thu, 08 Aug 2013 18:13:12 +0200 |
kleing |
avoid re-inventing transitive closure
|
file |
diff |
annotate
|
Thu, 20 Jun 2013 17:26:16 +0200 |
nipkow |
tuned theory name
|
file |
diff |
annotate
| base
|