| Wed, 21 Oct 2009 00:36:12 +0200 |
wenzelm |
standardized basic operations on type option;
|
file |
diff |
annotate
|
| Tue, 20 Oct 2009 20:54:31 +0200 |
wenzelm |
uniform use of Integer.min/max;
|
file |
diff |
annotate
|
| Mon, 19 Oct 2009 21:54:57 +0200 |
wenzelm |
uniform use of Integer.add/mult/sum/prod;
|
file |
diff |
annotate
|
| Thu, 15 Oct 2009 21:08:03 +0200 |
wenzelm |
eliminated slightly odd get/set operations in favour of Unsynchronized.ref;
|
file |
diff |
annotate
|
| Thu, 01 Oct 2009 20:47:26 +0200 |
wenzelm |
tuned header;
|
file |
diff |
annotate
|
| Thu, 01 Oct 2009 20:33:45 +0200 |
wenzelm |
core_sos_tac: SUBPROOF body operates on subgoal 1;
|
file |
diff |
annotate
|
| Thu, 01 Oct 2009 11:54:01 +0200 |
Philipp Meyer |
changed core_sos_tac to use SUBPROOF
|
file |
diff |
annotate
|
| Wed, 30 Sep 2009 14:10:36 +0200 |
Philipp Meyer |
replaced and tuned uses of foldr1
|
file |
diff |
annotate
|
| Wed, 30 Sep 2009 13:48:00 +0200 |
Philipp Meyer |
tuned FuncFun and FuncUtil structure in positivstellensatz.ML
|
file |
diff |
annotate
|
| Tue, 22 Sep 2009 14:17:54 +0200 |
Philipp Meyer |
removed opening of structures
|
file |
diff |
annotate
|
| Tue, 29 Sep 2009 16:24:36 +0200 |
wenzelm |
explicit indication of Unsynchronized.ref;
|
file |
diff |
annotate
|
| Tue, 22 Sep 2009 11:26:46 +0200 |
Philipp Meyer |
used standard fold function and type aliases
|
file |
diff |
annotate
|
| Mon, 21 Sep 2009 15:05:26 +0200 |
Philipp Meyer |
sos method generates and uses proof certificates
|
file |
diff |
annotate
|
| Thu, 06 Aug 2009 19:51:59 +0200 |
wenzelm |
misc changes to SOS by Philipp Meyer:
|
file |
diff |
annotate
| base
|