doc-src/IsarRef/isar-ref.tex
changeset 7135 8eabfd7e6b9b
parent 7134 320b412e5800
child 7167 0b2e3ef1d8f4
     1.1 --- a/doc-src/IsarRef/isar-ref.tex	Fri Jul 30 14:59:32 1999 +0200
     1.2 +++ b/doc-src/IsarRef/isar-ref.tex	Fri Jul 30 15:40:54 1999 +0200
     1.3 @@ -56,7 +56,7 @@
     1.4  \include{basics}
     1.5  \include{syntax}
     1.6  \include{pure}
     1.7 -\include{clasimp}
     1.8 +\include{generic}
     1.9  \include{hol}
    1.10  
    1.11  \begingroup