doc-src/IsarRef/generic.tex
changeset 8904 0bb77c5b86cc
parent 8901 e591fc327675
child 9005 67fb61748d35
     1.1 --- a/doc-src/IsarRef/generic.tex	Sun May 21 21:48:39 2000 +0200
     1.2 +++ b/doc-src/IsarRef/generic.tex	Sun May 21 21:49:06 2000 +0200
     1.3 @@ -3,6 +3,11 @@
     1.4  
     1.5  \section{Axiomatic Type Classes}\label{sec:axclass}
     1.6  
     1.7 +%FIXME
     1.8 +% - qualified names
     1.9 +% - class intro rules;
    1.10 +% - class axioms;
    1.11 +
    1.12  \indexisarcmd{axclass}\indexisarcmd{instance}\indexisarmeth{intro-classes}
    1.13  \begin{matharray}{rcl}
    1.14    \isarcmd{axclass} & : & \isartrans{theory}{theory} \\