src/HOL/ROOT
changeset 67224 341fbce5b26d
parent 67215 03d0c958d65a
child 67278 c60e3d615b8c
     1.1 --- a/src/HOL/ROOT	Mon Dec 18 11:56:12 2017 +0100
     1.2 +++ b/src/HOL/ROOT	Mon Dec 18 16:58:13 2017 +0100
     1.3 @@ -537,6 +537,7 @@
     1.4      Coherent
     1.5      Commands
     1.6      Computations
     1.7 +    Conditional_Parametricity_Examples
     1.8      Cubic_Quartic
     1.9      Dedekind_Real
    1.10      Erdoes_Szekeres