author | wenzelm |
Sun, 21 May 2000 21:49:06 +0200 | |
changeset 8904 | 0bb77c5b86cc |
parent 8903 | 78d6e47469e4 |
child 8905 | 4f0f79fe41b9 |
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} \\