src/HOL/ROOT
changeset 56922 d411a81b8356
parent 56818 689a3eeb6f9e
child 56940 35ce6dab3f5e
     1.1 --- a/src/HOL/ROOT	Fri May 09 08:13:28 2014 +0200
     1.2 +++ b/src/HOL/ROOT	Fri May 09 08:13:36 2014 +0200
     1.3 @@ -518,6 +518,7 @@
     1.4      Serbian
     1.5      "~~/src/HOL/Library/FinFun_Syntax"
     1.6      "~~/src/HOL/Library/Refute"
     1.7 +    "~~/src/HOL/Library/Transitive_Closure_Table"
     1.8      Cartouche_Examples
     1.9    theories
    1.10      Iff_Oracle
    1.11 @@ -560,6 +561,7 @@
    1.12      Sqrt_Script
    1.13      Transfer_Ex
    1.14      Transfer_Int_Nat
    1.15 +    Transitive_Closure_Table_Ex
    1.16      HarmonicSeries
    1.17      Refute_Examples
    1.18      Execute_Choice