equal
deleted
inserted
replaced
52 
52 
53 Important files include... 
53 Important files include... 
54 COPYRIGHT Copyright notice and Disclaimer of Warranty 
54 COPYRIGHT Copyright notice and Disclaimer of Warranty 
55 Pure contains source files for Pure Isabelle (no objectlogic) 
55 Pure contains source files for Pure Isabelle (no objectlogic) 
56 Provers contains generic theorem provers: simplifier, etc. 
56 Provers contains generic theorem provers: simplifier, etc. 

57 Tools contains shell scripts and utilities 
57 
58 
58 The following subdirectories contain objectlogics: 
59 The following subdirectories contain objectlogics: 
59 FOL Natural deduction FirstOrder Logic (intuitionistic and classical) 
60 FOL Natural deduction FirstOrder Logic (intuitionistic and classical) 
60 FOLP FirstOrder Logic with Proof terms 
61 FOLP FirstOrder Logic with Proof terms 
61 ZF ZermeloFraenkel set theory 
62 ZF ZermeloFraenkel set theory 