# HG changeset patch
# User wenzelm
# Date 958938546 -7200
# Node ID 0bb77c5b86ccae2d1220e4499f8a49881402311c
# Parent  78d6e47469e4667519858ada5381bf0914165966
added notes;

diff -r 78d6e47469e4 -r 0bb77c5b86cc 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} \\