| Tue, 24 Jul 2012 21:46:48 +0200 | wenzelm | reactivated HOL-NSA-Examples; | file | diff | annotate |
| Sun, 20 Nov 2011 21:05:23 +0100 | wenzelm | eliminated obsolete "standard"; | file | diff | annotate |
| Wed, 19 May 2010 16:28:24 -0700 | huffman | remove redundant hdvd relation | file | diff | annotate |
| Tue, 01 Sep 2009 15:39:33 +0200 | haftmann | some reorganization of number theory | file | diff | annotate |
| Thu, 03 Jul 2008 17:47:22 +0200 | huffman | move nonstandard analysis theories to NSA directory | file | diff | annotate |