Tue, 19 Jan 1999 11:18:11 +0100 | paulson | removal of the (thm list) argument of mk_cases | 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 |