src/HOL/Matrix/ComputeHOL.thy
2010-08-11 wenzelm 2010-08-11 modernized some specifications;
2010-07-21 wenzelm 2010-07-21 moved src/Tools/Compute_Oracle to src/HOL/Matrix/Compute_Oracle -- it actually depends on HOL anyway;
2009-09-02 wenzelm 2009-09-02 reorganized Compute theories for HOL-Matrix -- avoiding theory files within main HOL/Tools;