| Thu, 02 Oct 2014 11:33:08 +0200 | haftmann | formal lcm definition for polynomials | changeset | files |
| Thu, 02 Oct 2014 11:33:06 +0200 | haftmann | moved lemmas out of Int.thy which have nothing to do with int | changeset | files |
| Thu, 02 Oct 2014 11:33:05 +0200 | haftmann | redundant: dropped | changeset | files |
| Thu, 02 Oct 2014 11:33:04 +0200 | haftmann | tuned Heap_Monad.successE | changeset | files |
| Thu, 02 Oct 2014 12:02:29 +0200 | blanchet | documentation | changeset | files |
| Thu, 02 Oct 2014 12:02:28 +0200 | blanchet | fixed a few mistakes in the documentation | changeset | files |
| Thu, 02 Oct 2014 12:02:27 +0200 | blanchet | tuning | changeset | files |
| Thu, 02 Oct 2014 11:01:20 +0200 | blanchet | 'moura' method is also useful for reconstructing skolemization of lambda-lifting of formulas for other provers than Z3 | changeset | files |