src/HOLCF/IOA/ex/TrivEx2.ML
2002-08-27 wenzelm 2002-08-27 *** empty log message ***
2001-11-15 wenzelm 2001-11-15 GPLed;
2000-03-28 nipkow 2000-03-28 mods because of weak_case_cong
1999-04-22 mueller 1999-04-22 moved this trivial example to new ex dir;