Thu, 01 Oct 2009 13:32:03 +0200 | Philipp Meyer | additional fixes in normarith.ML due to FuncFun and FuncUtil changes | changeset | files |
Thu, 01 Oct 2009 11:54:01 +0200 | Philipp Meyer | changed core_sos_tac to use SUBPROOF | changeset | files |
Wed, 30 Sep 2009 14:10:36 +0200 | Philipp Meyer | replaced and tuned uses of foldr1 | changeset | files |
Wed, 30 Sep 2009 13:48:00 +0200 | Philipp Meyer | tuned FuncFun and FuncUtil structure in positivstellensatz.ML | changeset | files |
Tue, 22 Sep 2009 14:17:54 +0200 | Philipp Meyer | removed opening of structures | changeset | files |
Thu, 01 Oct 2009 18:59:26 +0200 | wenzelm | merged | changeset | files |