Wed, 05 May 1999 16:44:42 +0200 | paulson | Now uses manual.bib; some references updated | file | diff | annotate |
Wed, 13 Jan 1999 16:36:36 +0100 | paulson | the separate FOL and ZF logics manual, with new material on datatypes and | file | diff | annotate |