Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added notes;
authorwenzelm
Sun, 21 May 2000 21:49:06 +0200
changeset 8904 0bb77c5b86cc
parent 8903 78d6e47469e4
child 8905 4f0f79fe41b9
added notes;
doc-src/IsarRef/generic.tex file | annotate | diff | comparison | revisions 
--- 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} \\
isabelle