src/HOL/Multivariate_Analysis/ROOT.ML
author huffman
Tue Aug 16 13:07:52 2011 -0700 (2011-08-16)
changeset 44229 7e3a026f014f
parent 33615 261abc2e3155
permissions -rw-r--r--
Multivariate_Analysis includes Determinants.thy, but doesn't import it by default
huffman@44229
     1
use_thys ["Multivariate_Analysis", "Determinants"];