Sat, 05 Jan 2019 17:24:33 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
Tue, 16 Jan 2018 09:30:00 +0100 |
wenzelm |
standardized towards new-style formal comments: isabelle update_comments;
|
file |
diff |
annotate
|
Sat, 02 Jan 2016 18:48:45 +0100 |
wenzelm |
isabelle update_cartouches -c -t;
|
file |
diff |
annotate
|
Sat, 18 Jul 2015 20:54:56 +0200 |
wenzelm |
prefer tactics with explicit context;
|
file |
diff |
annotate
|
Sat, 27 Dec 2014 20:32:06 +0100 |
wenzelm |
update_cartouches;
|
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 17:36:52 +0100 |
wenzelm |
modernized header;
|
file |
diff |
annotate
|
Wed, 28 Aug 2013 00:18:50 +0200 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
Thu, 11 Jul 2013 14:56:58 +0200 |
wenzelm |
more precise fact declarations -- fewer warnings;
|
file |
diff |
annotate
|
Thu, 18 Apr 2013 17:07:01 +0200 |
wenzelm |
simplifier uses proper Proof.context instead of historic type simpset;
|
file |
diff |
annotate
|
Tue, 13 Dec 2011 15:18:52 +0100 |
wenzelm |
modernized specifications;
|
file |
diff |
annotate
|
Fri, 13 May 2011 22:55:00 +0200 |
wenzelm |
proper Proof.context for classical tactics;
|
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
|
Sun, 03 Jan 2010 10:01:23 +0100 |
nipkow |
removed more asm_rl's - unfortunately slowdown of 1 min.
|
file |
diff |
annotate
|
Mon, 21 Sep 2009 12:23:52 +0200 |
haftmann |
tuned proofs; be more cautios wrt. default simp rules
|
file |
diff |
annotate
|
Mon, 21 Sep 2009 10:58:25 +0200 |
haftmann |
theory entry point for session Hoare_Parallel (now also with proper underscore)
|
file |
diff |
annotate
| base
|