Fri, 19 Jun 2015 23:40:46 +0200 |
wenzelm |
tuned proofs;
|
file |
diff |
annotate
|
Fri, 19 Jun 2015 21:41:33 +0200 |
wenzelm |
isabelle update_cartouches;
|
file |
diff |
annotate
|
Sat, 05 Jul 2014 11:01:53 +0200 |
haftmann |
prefer ac_simps collections over separate name bindings for add and mult
|
file |
diff |
annotate
|
Tue, 04 Feb 2014 21:29:46 +0000 |
paulson |
removal of "back", etc.
|
file |
diff |
annotate
|
Tue, 03 Sep 2013 01:12:40 +0200 |
wenzelm |
tuned proofs -- clarified flow of facts wrt. calculation;
|
file |
diff |
annotate
|
Mon, 12 Sep 2011 07:55:43 +0200 |
nipkow |
new fastforce replacing fastsimp - less confusing name
|
file |
diff |
annotate
|
Sat, 10 Sep 2011 23:27:32 +0200 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|
Tue, 09 Aug 2011 20:24:48 +0200 |
haftmann |
tuned proofs
|
file |
diff |
annotate
|
Sun, 13 Mar 2011 22:55:50 +0100 |
wenzelm |
tuned headers;
|
file |
diff |
annotate
|
Thu, 13 Jan 2011 23:50:16 +0100 |
wenzelm |
eliminated global prems;
|
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
|
Tue, 01 Sep 2009 15:39:33 +0200 |
haftmann |
some reorganization of number theory
|
file |
diff |
annotate
| base
|