src/HOL/UNITY/Transformers.thy
2003-02-18 paulson 2003-02-18 new theory Transformers: Meier-Sanders non-interference theory