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