src/HOL/ROOT
changeset 56215 fcf90317383d
parent 56079 175ac95720d4
child 56454 e9e82384e5a1
     1.1 --- a/src/HOL/ROOT	Tue Mar 18 22:11:46 2014 +0100
     1.2 +++ b/src/HOL/ROOT	Wed Mar 19 14:54:45 2014 +0000
     1.3 @@ -677,6 +677,8 @@
     1.4    theories
     1.5      Multivariate_Analysis
     1.6      Determinants
     1.7 +    PolyRoots
     1.8 +    Complex_Analysis_Basics
     1.9    files
    1.10      "document/root.tex"
    1.11