| Sat, 17 Mar 2012 12:00:11 +0100 | wenzelm | tuned proofs; | file | diff | annotate |
| Tue, 21 Feb 2012 11:08:05 +0100 | huffman | add missing lemmas to compute_div_mod | file | diff | annotate |
| Tue, 21 Feb 2012 11:04:38 +0100 | huffman | remove constant negateSnd in favor of 'apsnd uminus' (from Florian Haftmann) | 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 |
| Thu, 29 Oct 2009 22:16:40 +0100 | haftmann | adjusted to changes in theory Divides | 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 | base |