doc-src/IsarRef/generic.tex

--- a/doc-src/IsarRef/generic.tex	Sun May 21 21:48:39 2000 +0200
+++ b/doc-src/IsarRef/generic.tex	Sun May 21 21:49:06 2000 +0200
@@ -3,6 +3,11 @@
 
 \section{Axiomatic Type Classes}\label{sec:axclass}
 
+%FIXME
+% - qualified names
+% - class intro rules;
+% - class axioms;
+
 \indexisarcmd{axclass}\indexisarcmd{instance}\indexisarmeth{intro-classes}
 \begin{matharray}{rcl}
   \isarcmd{axclass} & : & \isartrans{theory}{theory} \\