doc-src/IsarAdvanced/Codegen/Thy/examples/pick1.ML
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-04 wenzelm 2006-11-04 updated;
2006-11-03 haftmann 2006-11-03 continued tutorial