Sun, 18 Mar 2007 01:50:05 +0100 | dixon | TrueElim and notTrueElim tested and added as safe elim rules. | changeset | files |
Fri, 16 Mar 2007 21:35:30 +0100 | haftmann | dropped LOrder.thy in favor of Lattices.thy | changeset | files |
Fri, 16 Mar 2007 21:33:31 +0100 | haftmann | dropped LOrder.thy | changeset | files |
Fri, 16 Mar 2007 21:32:22 +0100 | haftmann | added "satisfies" interface | changeset | files |
Fri, 16 Mar 2007 21:32:21 +0100 | haftmann | dropping dead code | changeset | files |
Fri, 16 Mar 2007 21:32:20 +0100 | haftmann | clarified check of defining equations | changeset | files |