1995-10-06 regensbu 1995-10-06 added 8bit pragmas added directory ax_ops for sections axioms and ops added directory domain for sections domain and generated this is the type definition package of David Oheimb
1995-10-04 clasohm 1995-10-04 added local simpsets
1995-06-29 regensbu 1995-06-29 The curried version of HOLCF is now just called HOLCF. The old uncurried version is no longer supported
1995-03-17 regensbu 1995-03-17 Removed bugs which occurred due to new generation mechanism for type variables
1994-10-06 nipkow 1994-10-06 New version
1994-05-19 wenzelm 1994-05-19 thy reader now initialised by init_thy_reader();
1994-03-24 nipkow 1994-03-24 Franz fragen
1994-01-19 nipkow 1994-01-19 Franz Regensburger's Higher-Order Logic of Computable Functions embedding LCF in HOL.