doc-src/IsarAdvanced/Codegen/Thy/examples/class.ocaml
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-02-10 haftmann 2007-02-10 added OCaml example