changeset 44516 | d9a496ae5d9d |
parent 44374 | 0b217404522a |
child 44651 | 5d6a11e166cf |
child 44656 | 22bbd0d1b943 |
--- a/src/HOL/IsaMakefile Wed Aug 24 12:39:42 2011 -0700 +++ b/src/HOL/IsaMakefile Wed Aug 24 15:06:13 2011 -0700 @@ -1175,6 +1175,7 @@ Multivariate_Analysis/L2_Norm.thy \ Multivariate_Analysis/Linear_Algebra.thy \ Multivariate_Analysis/Multivariate_Analysis.thy \ + Multivariate_Analysis/Norm_Arith.thy \ Multivariate_Analysis/Operator_Norm.thy \ Multivariate_Analysis/Path_Connected.thy \ Multivariate_Analysis/ROOT.ML \