| Fri, 27 Sep 2002 10:33:47 +0200 | paulson | New theory GroupTheory/Module.thy of modules | changeset | files |
| Thu, 26 Sep 2002 15:21:38 +0200 | paulson | Renamed Integ/int.ML to Integ/Int_lemmas.ML to prevent confusion with Int.ML | changeset | files |
| Thu, 26 Sep 2002 10:56:20 +0200 | paulson | GroupTheory and FuncSet | changeset | files |
| Thu, 26 Sep 2002 10:51:58 +0200 | paulson | new theory for Pi-sets, restrict, etc. | changeset | files |
| Thu, 26 Sep 2002 10:51:29 +0200 | paulson | Converted Fun to Isar style. | changeset | files |
| Thu, 26 Sep 2002 10:43:43 +0200 | paulson | new document directory for GroupTheory | changeset | files |
| Thu, 26 Sep 2002 10:40:13 +0200 | paulson | converted to Isar and using new "implicit structures" instead of Sigma, etc | changeset | files |
| Wed, 25 Sep 2002 11:23:26 +0200 | nipkow | *** empty log message *** | changeset | files |