src/ZF/upair.thy
author paulson
Thu Aug 10 11:27:34 2000 +0200 (2000-08-10)
changeset 9570 e16e168984e1
parent 6153 bff90585cce5
child 9907 473a6604da94
permissions -rw-r--r--
installation of cancellation simprocs for the integers
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@2872
     6
Dummy theory, but holds the standard ZF simpset.
paulson@2469
     7
*)
paulson@2469
     8
paulson@9570
     9
theory upair = ZF
paulson@9570
    10
files "Tools/typechk":
paulson@6153
    11
paulson@6153
    12
setup
paulson@6153
    13
  TypeCheck.setup
paulson@6153
    14
paulson@6153
    15
end
paulson@6153
    16