src/HOL/ROOT
changeset 68639 357fca99a65a
parent 68617 75129a73aca3
child 68640 f15daa73ee32
     1.1 --- a/src/HOL/ROOT	Sun Jul 15 01:14:04 2018 +0100
     1.2 +++ b/src/HOL/ROOT	Sun Jul 15 23:44:38 2018 +0200
     1.3 @@ -534,6 +534,7 @@
     1.4      Chinese
     1.5      Classical
     1.6      Code_Binary_Nat_examples
     1.7 +    Code_Lazy_Demo
     1.8      Code_Timing
     1.9      Coercion_Examples
    1.10      Coherent