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