doc-src/IsarAdvanced/Codegen/Thy/examples/class.ML
2007-10-24 ago updated;
2007-10-16 ago updated;
2007-09-18 ago updated
2007-08-24 ago updated
2007-07-19 ago updated
2007-04-26 ago updated doc
2007-04-20 ago updated
2007-03-02 ago new code theorems
2007-01-26 ago adjusted manual to improved treatment of overloaded constants
2007-01-04 ago updated manual
2007-01-04 ago updated manual
2006-11-06 ago (continued)
2006-11-03 ago continued tutorial