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 |
Thu, 03 Aug 2000 10:52:30 +0200 | paulson | introduction of integer exponentiation | changeset | files |
Thu, 03 Aug 2000 10:46:01 +0200 | paulson | Chinese Remainder Theorem, Wilsons Theorem, etc., by T M Masmussen | changeset | files |
Thu, 03 Aug 2000 00:45:30 +0200 | wenzelm | GPLed; | changeset | files |