| Thu, 03 Aug 2000 18:44:55 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 03 Aug 2000 18:44:24 +0200 | wenzelm | unknown_theory/proof/context; | changeset | files |
| 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 |
| Thu, 03 Aug 2000 00:44:49 +0200 | wenzelm | export get_local_clasimpset, clasimp_modifiers; | changeset | files |
| Thu, 03 Aug 2000 00:44:08 +0200 | wenzelm | improved output of space symbol; | changeset | files |
| Thu, 03 Aug 2000 00:41:07 +0200 | wenzelm | typ_no_norm; | changeset | files |
| Thu, 03 Aug 2000 00:34:22 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 02 Aug 2000 19:40:14 +0200 | wenzelm | adapted deriv; | changeset | files |
| Wed, 02 Aug 2000 19:39:48 +0200 | wenzelm | derivations: maintain oracle flag; | changeset | files |
| Wed, 02 Aug 2000 19:38:33 +0200 | wenzelm | use oracle flag from derivation; | changeset | files |