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