src/ZF/upair.thy
author wenzelm
Sun Oct 14 22:08:29 2001 +0200 (2001-10-14)
changeset 11770 b6bb7a853dd2
parent 9907 473a6604da94
child 13259 01fa0c8dbc92
permissions -rw-r--r--
moved rulify to ObjectLogic;
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@11770
    11
declare atomize_ball [symmetric, rulify]
paulson@6153
    12
paulson@6153
    13
end