Thu, 07 May 1998 18:05:08 +0200 | wenzelm | added 'space'; | changeset | files |
Thu, 07 May 1998 13:02:23 +0200 | nipkow | Got rid of NAe.delta | changeset | files |
Wed, 06 May 1998 13:01:45 +0200 | paulson | HOL/Update | changeset | files |
Wed, 06 May 1998 13:01:30 +0200 | paulson | Removed some traces of UNITY | changeset | files |
Wed, 06 May 1998 11:46:00 +0200 | nipkow | Changed [/] to [:=] and removed actual definition. | changeset | files |
Tue, 05 May 1998 17:28:22 +0200 | paulson | New syntax for function update; moved to main HOL directory | changeset | files |
Tue, 05 May 1998 13:27:18 +0200 | wenzelm | misc tuning; | changeset | files |