src/HOL/Library/Library.thy
changeset 67224 341fbce5b26d
parent 66797 9c9baae29217
child 68061 81d90f830f99
child 68072 493b818e8e10
     1.1 --- a/src/HOL/Library/Library.thy	Mon Dec 18 11:56:12 2017 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Mon Dec 18 16:58:13 2017 +0100
     1.3 @@ -12,6 +12,7 @@
     1.4    Code_Test
     1.5    Combine_PER
     1.6    Complete_Partial_Order2
     1.7 +  Conditional_Parametricity
     1.8    Countable
     1.9    Countable_Complete_Lattices
    1.10    Countable_Set_Type