src/HOL/UNITY/Transformers.thy
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2004-10-11 nipkow 2004-10-11 Proofs needed to be updated because induction now preserves name of induction variable.
2004-08-03 paulson 2004-08-03 new simprules Int_subset_iff and Un_subset_iff
2003-03-21 paulson 2003-03-21 More on progress sets
2003-03-17 paulson 2003-03-17 More "progress set" material
2003-03-14 paulson 2003-03-14 Proved the main lemma on progress sets
2003-03-10 paulson 2003-03-10 New theory ProgressSets. Definition of closure sets
2003-03-06 paulson 2003-03-06 new UNITY examples theory
2003-02-26 paulson 2003-02-26 completed proofs for programs consisting of a single assignment
2003-02-18 paulson 2003-02-18 new theory Transformers: Meier-Sanders non-interference theory