src/ZF/Resid/Cube.thy
author lcp
Thu Apr 13 15:38:07 1995 +0200 (1995-04-13)
changeset 1048 5ba0314f8214
child 1478 2b8c2a7547ab
permissions -rw-r--r--
New example by Ole Rasmussen
lcp@1048
     1
(*  Title: 	Cube.thy
lcp@1048
     2
    ID:         $Id$
lcp@1048
     3
    Author: 	Ole Rasmussen
lcp@1048
     4
    Copyright   1995  University of Cambridge
lcp@1048
     5
    Logic Image: ZF
lcp@1048
     6
*)
lcp@1048
     7
lcp@1048
     8
Cube = Residuals