src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy
author huffman
Mon Apr 26 15:22:03 2010 -0700 (2010-04-26)
changeset 36432 1ad1cfeaec2d
parent 35292 e4a431b6d9b7
child 37489 44e42d392c6e
permissions -rw-r--r--
move proof of Fashoda meet theorem into separate file
wenzelm@33267
     1
theory Multivariate_Analysis
huffman@36432
     2
imports Determinants Integration Real_Integration Fashoda
himmelma@33175
     3
begin
himmelma@33175
     4
himmelma@33175
     5
end