| Fri, 25 Sep 1998 14:04:22 +0200 | paulson | Renaming of Integ/Integ.* to Integ/Int.* | changeset | files |
| Fri, 25 Sep 1998 13:58:24 +0200 | paulson | Now uses integers instead of naturals | changeset | files |
| Fri, 25 Sep 1998 13:57:01 +0200 | paulson | Renaming of Integ/Integ.* to Integ/Int.*, and renaming of related constants | changeset | files |
| Fri, 25 Sep 1998 13:18:07 +0200 | paulson | Renaming of Integ/Integ.* to Integ/Int.*, and renaming of related constants | changeset | files |
| Fri, 25 Sep 1998 12:12:07 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 25 Sep 1998 12:03:11 +0200 | wenzelm | tuned pretty_tag; | changeset | files |
| Fri, 25 Sep 1998 12:01:47 +0200 | wenzelm | added REPEAT1; | changeset | files |
| Thu, 24 Sep 1998 21:32:12 +0200 | wenzelm | create an instance of the Isabelle logo; | changeset | files |