| Sun, 21 Mar 2010 17:12:31 +0100 | wenzelm | standard headers; | file | diff | annotate |
| Wed, 02 Jan 2008 15:14:02 +0100 | haftmann | splitted class uminus from class minus | file | diff | annotate |
| Sun, 19 Nov 2006 23:48:55 +0100 | wenzelm | HOL-Algebra: converted legacy ML scripts; | file | diff | annotate |