| 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 |