Tue, 04 May 1999 18:05:34 +0200 | wenzelm | HOL part moved to 'logics-HOL' manual; | file | diff | annotate |
Wed, 20 Jan 1999 18:07:34 +0100 | wenzelm | isabelle.in.tum.de; | file | diff | annotate |
Wed, 13 Jan 1999 16:30:53 +0100 | paulson | removal of FOL and ZF | file | diff | annotate |