| Sat, 17 Mar 2012 11:59:59 +0100 | wenzelm | tuned exception; | file | diff | annotate |
| Wed, 11 Aug 2010 12:40:08 +0200 | wenzelm | modernized some specifications; | file | diff | annotate |
| Wed, 21 Jul 2010 15:44:36 +0200 | wenzelm | moved src/Tools/Compute_Oracle to src/HOL/Matrix/Compute_Oracle -- it actually depends on HOL anyway; | 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 |