src/HOLCF/IOA/ex/TrivEx2.thy
2009-03-20 wenzelm 2009-03-20 eliminated global SIMPSET, CLASET etc. -- refer to explicit context;
2007-10-21 wenzelm 2007-10-21 modernized specifications ('definition', 'axiomatization');
2006-05-27 wenzelm 2006-05-27 removed legacy ML scripts;
2005-09-03 wenzelm 2005-09-03 converted to Isar theory format;
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2001-11-15 wenzelm 2001-11-15 GPLed;
1999-04-22 mueller 1999-04-22 moved this trivial example to new ex dir;