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 |