src/HOL/Real.thy
2008-12-29 haftmann adapted HOL source structure to distribution layout
2008-12-11 nipkow codegen
2008-12-10 nipkow moved ContNotDenum into Library
2008-12-03 haftmann made repository layout more coherent with logical distribution structure; stripped some $Id$s
less more (0) tip