| Mon, 27 Feb 2012 11:38:56 +0100 | huffman | avoid using constant Int.neg | file | diff | annotate |
| Sat, 23 Apr 2011 13:00:19 +0200 | wenzelm | modernized specifications; | file | diff | annotate |
| Wed, 11 Aug 2010 12:40:08 +0200 | wenzelm | modernized some specifications; | file | diff | annotate |
| Mon, 01 Mar 2010 13:40:23 +0100 | haftmann | replaced a couple of constsdefs by definitions (also some old primrecs by modern ones) | file | diff | annotate |
| Fri, 05 Feb 2010 14:33:50 +0100 | haftmann | more consistent naming of type classes involving orderings (and lattices) -- c.f. NEWS | file | diff | annotate |
| Wed, 02 Sep 2009 16:25:44 +0200 | wenzelm | reorganized Compute theories for HOL-Matrix -- avoiding theory files within main HOL/Tools; | file | diff | annotate |
| Sat, 27 Jun 2009 10:26:42 +0200 | nipkow | removed old primrecs | file | diff | annotate |