Wed, 21 Oct 2009 08:14:38 +0200 |
haftmann |
dropped redundant gen_ prefix
|
file |
diff |
annotate
|
Wed, 21 Oct 2009 00:36:12 +0200 |
wenzelm |
standardized basic operations on type option;
|
file |
diff |
annotate
|
Mon, 19 Oct 2009 21:54:57 +0200 |
wenzelm |
uniform use of Integer.add/mult/sum/prod;
|
file |
diff |
annotate
|
Thu, 01 Oct 2009 23:27:05 +0200 |
wenzelm |
moved cache_conv to src/Pure/conv.ML, use Thm.cterm_cache;
|
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
|
Wed, 26 Aug 2009 11:40:28 +0200 |
boehmes |
added further conversions and conversionals
|
file |
diff |
annotate
|
Thu, 09 Jul 2009 22:01:41 +0200 |
wenzelm |
renamed functor TableFun to Table, and GraphFun to Graph;
|
file |
diff |
annotate
|
Tue, 12 May 2009 17:32:50 +0100 |
chaieb |
A generic arithmetic prover based on Positivstellensatz certificates --- also implements Fourrier-Motzkin elimination as a special case Fourrier-Motzkin elimination
|
file |
diff |
annotate
|