src/ZF/upair.thy
author wenzelm
Thu Sep 07 21:12:49 2000 +0200 (2000-09-07)
changeset 9907 473a6604da94
parent 9570 e16e168984e1
child 11770 b6bb7a853dd2
permissions -rw-r--r--
tuned ML code (the_context, bind_thms(s));
paulson@2469
     1
(*  Title:      ZF/upair.thy
paulson@2469
     2
    ID:         $Id$
paulson@2469
     3
    Author:     Lawrence C Paulson and Martin D Coen, CU Computer Laboratory
paulson@2469
     4
    Copyright   1993  University of Cambridge
paulson@2469
     5
*)
paulson@2469
     6
paulson@9570
     7
theory upair = ZF
paulson@9570
     8
files "Tools/typechk":
paulson@6153
     9
wenzelm@9907
    10
setup TypeCheck.setup
wenzelm@9907
    11
setup Rulify.setup
paulson@6153
    12
paulson@6153
    13
end