| 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
|