Mon, 01 Dec 2008 15:36:48 -0800 | huffman | clean up imports related to ContNotDenum | file | diff | annotate |
Thu, 20 Nov 2008 19:43:34 +0100 | wenzelm | reactivated some dead theories (based on hints by Mark Hillebrand); | file | diff | annotate |
Fri, 11 Jul 2008 09:02:23 +0200 | haftmann | tuned import | file | diff | annotate |
Thu, 03 Jul 2008 17:58:10 +0200 | huffman | removed nonstandard analysis theories to HOL-NSA | file | diff | annotate |
Thu, 26 Jun 2008 10:07:01 +0200 | haftmann | established Plain theory and image | file | diff | annotate |
Mon, 25 Feb 2008 11:27:02 +0100 | chaieb | Now imports Funamental_Theorem_Algebra | file | diff | annotate |
Wed, 16 May 2007 23:03:45 +0200 | huffman | minimize imports | file | diff | annotate |