Mon, 21 May 2001 14:36:24 +0200 | paulson | X-symbols for set theory | file | diff | annotate |
Fri, 08 Jan 1999 13:20:59 +0100 | paulson | removal of DO_GOAL | file | diff | annotate |
Mon, 28 Dec 1998 16:52:51 +0100 | paulson | Needs separate theory Primrec_defs due to new inductive defs package | file | diff | annotate |