doc-src/IsarAdvanced/Codegen/Thy/examples/bool_infix.ML
2007-01-04 haftmann 2007-01-04 updated manual
2007-01-04 haftmann 2007-01-04 updated manual
2006-11-13 haftmann 2006-11-13 adjusted to new fun''