| 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 |
| Wed, 25 Sep 2002 11:22:28 +0200 | nipkow | *** empty log message *** | changeset | files |
| Wed, 25 Sep 2002 11:06:34 +0200 | nipkow | *** empty log message *** | changeset | files |
| Wed, 25 Sep 2002 07:57:36 +0200 | nipkow | Int.thy -> int.thy | changeset | files |