equal
deleted
inserted
replaced
141 chapters 2 and 5 of |
141 chapters 2 and 5 of |
142 |
142 |
143 Glynn Winskel. The Formal Semantics of Programming Languages. |
143 Glynn Winskel. The Formal Semantics of Programming Languages. |
144 MIT Press, 1993. |
144 MIT Press, 1993. |
145 *} |
145 *} |
146 options [document = false] |
|
147 theories Equiv |
146 theories Equiv |
148 document_files "root.tex" "root.bib" |
147 document_files |
|
148 "root.tex" |
|
149 "root.bib" |
149 |
150 |
150 session "ZF-Induct" (ZF) in Induct = ZF + |
151 session "ZF-Induct" (ZF) in Induct = ZF + |
151 description {* |
152 description {* |
152 Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
153 Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
153 Copyright 2001 University of Cambridge |
154 Copyright 2001 University of Cambridge |