2009-02-18 huffman 2009-02-18 move FrechetDeriv.thy to Library
2009-02-12 nipkow 2009-02-12 Moved FTA into Lib and cleaned it up a little.
2009-01-02 wenzelm 2009-01-02 tuned header and description of boot files;
2008-12-29 haftmann 2008-12-29 adapted HOL source structure to distribution layout
2008-12-10 nipkow 2008-12-10 moved ContNotDenum into Library
2008-12-03 haftmann 2008-12-03 made repository layout more coherent with logical distribution structure; stripped some $Id$s