Mon, 13 Jul 1998 16:04:22 +0200 | nipkow | swapped condition in update_apply. | file | diff | annotate |
Tue, 23 Jun 1998 18:06:50 +0200 | nipkow | Replaced [ := ] syntax by ( := ). | file | diff | annotate |
Mon, 22 Jun 1998 17:26:46 +0200 | wenzelm | isatool fixgoal; | file | diff | annotate |
Wed, 06 May 1998 13:01:30 +0200 | paulson | Removed some traces of UNITY | file | diff | annotate |
Tue, 05 May 1998 17:28:22 +0200 | paulson | New syntax for function update; moved to main HOL directory | file | diff | annotate |