src/HOLCF/ex/Fix2.ML
2001-01-09 nipkow 2001-01-09 ` -> $
2000-07-06 paulson 2000-07-06 removal of batch style, and tidying
1996-01-30 clasohm 1996-01-30 expanded tabs
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