Thu, 03 Aug 2000 18:43:35 +0200 | wenzelm | added unknown_theory/proof/context; | changeset | files |
Thu, 03 Aug 2000 11:51:11 +0200 | paulson | new theorem neq_commute | changeset | files |
Thu, 03 Aug 2000 10:53:06 +0200 | paulson | new files Integ/IntPower.{thy.ML}; tidied | changeset | files |