src/HOL/Infinite_Set.thy
2004-08-18 nipkow 2004-08-18 import -> imports
2004-08-16 nipkow 2004-08-16 New theory header syntax.
2004-07-15 nipkow 2004-07-15 Moved to new m<..<n syntax for set intervals.
2004-06-16 wenzelm 2004-06-16 tuned document;
2004-06-09 wenzelm 2004-06-09 tuned comment;
2004-05-21 wenzelm 2004-05-21 use plain SOME;
2004-04-14 kleing 2004-04-14 use more symbols in HTML output
2004-03-25 paulson 2004-03-25 new material from Avigad
2004-03-08 paulson 2004-03-08 new theory of infinite sets