src/HOL/Modelcheck/EindhovenSyn.thy
2010-02-06 wenzelm 2010-02-06 renamed system/system_out to bash/bash_output -- to emphasized that this is really GNU bash, not some undefined POSIX sh;
2009-09-29 wenzelm 2009-09-29 explicit indication of Unsynchronized.ref;
2009-07-15 wenzelm 2009-07-15 more antiquotations;
2008-09-18 wenzelm 2008-09-18 simplified oracle interface;
2008-09-17 wenzelm 2008-09-17 moved global ML bindings to global place;
2008-05-18 wenzelm 2008-05-18 moved global pretty/string_of functions from Sign to Syntax;
2008-03-19 wenzelm 2008-03-19 more antiquotations;
2008-03-06 wenzelm 2008-03-06 replaced execute by system_out;
2007-09-18 wenzelm 2007-09-18 simplified PrintMode interfaces;
2007-04-26 wenzelm 2007-04-26 removed legacy ML files;
2006-11-26 wenzelm 2006-11-26 updated (binder) syntax/notation;
2005-09-06 wenzelm 2005-09-06 converted to Isar theory format;
1999-08-19 wenzelm 1999-08-19 quite a lot of tuning an cleanup;
1999-04-22 mueller 1999-04-22 added modelchecker mucke besides modelchecker eindhoven;