Prelude.thy
2011-01-26 urbanc made the theory work under both Isabelle 2009 and 2011
less more (0) tip