src/HOL/Plain.thy
2008-06-26 haftmann 2008-06-26 established Plain theory and image