src/HOL/Isar_examples/KnasterTarski.thy
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2000-09-17 wenzelm 2000-09-17 isar-strip-terminators;
2000-05-21 wenzelm 2000-05-21 replaced {{ }} by { };
1999-10-30 wenzelm 1999-10-30 improved presentation;
1999-10-15 wenzelm 1999-10-15 improved presentation;
1999-10-14 wenzelm 1999-10-14 improved presentation;
1999-10-09 wenzelm 1999-10-09 added structured version of the proof;
1999-10-06 wenzelm 1999-10-06 improved presentation;
1999-09-04 wenzelm 1999-09-04 replaced ?? by ?;
1999-08-18 wenzelm 1999-08-18 tuned;
1999-08-02 wenzelm 1999-08-02 tuned;
1999-07-30 wenzelm 1999-07-30 renamed 'same' to '-';
1999-07-09 wenzelm 1999-07-09 mono: extra I/E;
1999-07-08 wenzelm 1999-07-08 removed old version; tuned;
1999-07-05 wenzelm 1999-07-05 variant version;
1999-07-04 wenzelm 1999-07-04 fixed scope of x:??H; improved final reasoning: fully formal now;
1999-07-03 wenzelm 1999-07-03 proper text;
1999-07-02 wenzelm 1999-07-02 tuned;
1999-07-01 wenzelm 1999-07-01 fixed order_trans;
1999-07-01 wenzelm 1999-07-01 added KnasterTarski.thy;