Sun, 29 Jan 2017 11:59:48 +0100 |
berghofe |
Added new / improved tactics for fields and rings
|
file |
diff |
annotate
|
Thu, 05 Nov 2015 10:39:59 +0100 |
wenzelm |
isabelle update_cartouches -c -t;
|
file |
diff |
annotate
|
Wed, 22 Jul 2015 23:26:00 +0200 |
wenzelm |
tuned proofs;
|
file |
diff |
annotate
|
Thu, 09 Jul 2015 23:46:21 +0200 |
wenzelm |
tuned proofs;
|
file |
diff |
annotate
|
Wed, 24 Jun 2015 23:03:55 +0200 |
wenzelm |
tuned proofs -- less digits;
|
file |
diff |
annotate
|
Sat, 20 Jun 2015 17:29:51 +0200 |
wenzelm |
tuned proofs;
|
file |
diff |
annotate
|
Sat, 20 Jun 2015 16:31:44 +0200 |
wenzelm |
isabelle update_cartouches;
|
file |
diff |
annotate
|
Sun, 02 Nov 2014 18:21:45 +0100 |
wenzelm |
modernized header uniformly as section;
|
file |
diff |
annotate
|
Mon, 20 Oct 2014 12:26:44 +0200 |
haftmann |
avoid unsafe simp rules
|
file |
diff |
annotate
|
Mon, 20 Oct 2014 07:45:58 +0200 |
haftmann |
augmented and tuned facts on even/odd and division
|
file |
diff |
annotate
|
Tue, 09 Sep 2014 20:51:36 +0200 |
blanchet |
ported Decision_Procs to new datatypes
|
file |
diff |
annotate
|
Thu, 27 Feb 2014 21:31:58 +0100 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
Tue, 25 Feb 2014 23:12:48 +0100 |
wenzelm |
tuned specifications and proofs;
|
file |
diff |
annotate
|
Tue, 03 Sep 2013 01:12:40 +0200 |
wenzelm |
tuned proofs -- clarified flow of facts wrt. calculation;
|
file |
diff |
annotate
|
Wed, 07 Sep 2011 16:37:50 +0200 |
wenzelm |
tuned proofs;
|
file |
diff |
annotate
|
Mon, 21 Feb 2011 23:47:19 +0100 |
wenzelm |
tuned proofs -- eliminated prems;
|
file |
diff |
annotate
|
Fri, 30 Oct 2009 13:59:49 +0100 |
haftmann |
moved Commutative_Ring into session Decision_Procs
|
file |
diff |
annotate
| base
|