src/CCL/Set.thy
2017-08-18 wenzelm session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
2016-01-11 wenzelm eliminated old defs;
2016-01-01 wenzelm isabelle update_cartouches -c -t;
2015-07-23 wenzelm isabelle update_cartouches;
2014-11-11 wenzelm more symbols;
2014-11-02 wenzelm modernized header uniformly as section;
2014-02-10 wenzelm prefer vacuous definitional type classes over axiomatic ones;
2012-07-24 wenzelm more session ROOT files;
2011-03-29 wenzelm modernized specifications -- less axioms;
2011-01-12 wenzelm eliminated global prems;
2010-09-03 wenzelm turned eta_contract into proper configuration option;
2010-08-17 haftmann deglobalization
2010-02-11 wenzelm modernized translations;
2010-02-08 wenzelm modernized some syntax translations;
2009-07-23 wenzelm misc modernization: proper method setup instead of adhoc ML proofs;
2007-10-03 wenzelm avoid unnamed infixes;
2006-07-18 wenzelm removed obsolete ML files;
2005-09-17 wenzelm converted to Isar theory format;
1997-10-20 wenzelm adapted to qualified names;
1997-10-10 wenzelm fixed dots;
1994-03-17 clasohm adapted type definition to new syntax
1993-09-16 clasohm Initial revision
less more (0) tip