changeset 12621 | 48cafea0684b |
parent 12618 | 43a97a2155d0 |
child 12879 | 8e1cae1de136 |
1.1 --- a/doc-src/IsarRef/isar-ref.tex Thu Jan 03 17:01:59 2002 +0100 1.2 +++ b/doc-src/IsarRef/isar-ref.tex Thu Jan 03 17:48:02 2002 +0100 1.3 @@ -89,8 +89,7 @@ 1.4 \include{syntax} 1.5 \include{pure} 1.6 \include{generic} 1.7 -\include{hol} 1.8 -\include{zf} 1.9 +\include{logics} 1.10 1.11 \appendix 1.12 \include{refcard}