src/HOL/ex/Conditional_Parametricity_Examples.thy
changeset 67399 eab6ce8368fa
parent 67224 341fbce5b26d
     1.1 --- a/src/HOL/ex/Conditional_Parametricity_Examples.thy	Wed Jan 10 15:21:49 2018 +0100
     1.2 +++ b/src/HOL/ex/Conditional_Parametricity_Examples.thy	Wed Jan 10 15:25:09 2018 +0100
     1.3 @@ -61,4 +61,4 @@
     1.4  definition "foo f x y = (if f x = f y then x else sup y x)"
     1.5  parametric_constant foo_parametricity: foo_def
     1.6  
     1.7 -end
     1.8 \ No newline at end of file
     1.9 +end