src/ZF/ROOT
changeset 48487 94a9650f79fb
parent 48483 9bfb6978eb80
child 48738 f8c1a5b9488f
equal deleted inserted replaced
48486:691d0b44a793 48487:94a9650f79fb
     1 session ZF! (10) in "." = Pure +
     1 session ZF! in "." = Pure +
     2   description {*
     2   description {*
     3     Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     3     Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     4     Copyright   1995  University of Cambridge
     4     Copyright   1995  University of Cambridge
     5 
     5 
     6     Zermelo-Fraenkel Set Theory on top of classical First-Order Logic.
     6     Zermelo-Fraenkel Set Theory on top of classical First-Order Logic.