Tue, 23 Jun 1998 18:06:50 +0200 | nipkow | Replaced [ := ] syntax by ( := ). | 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 |