| Fri, 18 Jun 2010 20:22:06 +0200 |
nipkow |
tuned set_replicate lemmas
|
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
|
| Thu, 11 Feb 2010 00:45:02 +0100 |
wenzelm |
modernized translations;
|
file |
diff |
annotate
|
| Tue, 24 Nov 2009 14:37:23 +0100 |
haftmann |
backported parts of abstract byte code verifier from AFP/Jinja
|
file |
diff |
annotate
|
| Thu, 12 Nov 2009 17:21:51 +0100 |
hoelzl |
Remove map_compose, replaced by map_map
|
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
|
| Tue, 22 Sep 2009 15:36:55 +0200 |
haftmann |
be more cautious wrt. simp rules: inf_absorb1, inf_absorb2, sup_absorb1, sup_absorb2 are no simp rules by default any longer
|
file |
diff |
annotate
|
| Fri, 28 Aug 2009 20:18:33 +0200 |
nipkow |
tuned proofs
|
file |
diff |
annotate
|
| Fri, 28 Aug 2009 18:52:41 +0200 |
nipkow |
Turned "x <= y ==> sup x y = y" (and relatives) into simp rules
|
file |
diff |
annotate
|
| Sat, 09 May 2009 09:17:29 +0200 |
haftmann |
interface changes in linarith.ML
|
file |
diff |
annotate
|
| Wed, 04 Mar 2009 10:47:20 +0100 |
nipkow |
Made Option a separate theory and renamed option_map to Option.map
|
file |
diff |
annotate
|
| Wed, 01 Aug 2007 16:55:37 +0200 |
wenzelm |
tuned config options: eliminated separate attribute "option";
|
file |
diff |
annotate
|
| Tue, 31 Jul 2007 00:56:31 +0200 |
wenzelm |
turned fast_arith_split/neq_limit into configuration options;
|
file |
diff |
annotate
|
| Mon, 11 Jun 2007 11:06:04 +0200 |
chaieb |
tuned Proof
|
file |
diff |
annotate
|
| Sat, 19 May 2007 11:33:26 +0200 |
haftmann |
added qualification for ambiguous definition names
|
file |
diff |
annotate
|