changeset 41941 | f823f7fae9a2 |
parent 40051 | b6acda4d1c29 |
child 45450 | dc2236b19a3d |
--- a/src/HOL/Tools/Predicate_Compile/predicate_compile_compilations.ML Sun Mar 13 14:51:38 2011 +0100 +++ b/src/HOL/Tools/Predicate_Compile/predicate_compile_compilations.ML Sun Mar 13 15:10:00 2011 +0100 @@ -1,7 +1,7 @@ (* Title: HOL/Tools/Predicate_Compile/predicate_compile_compilations.ML Author: Lukas Bulwahn, TU Muenchen -Structures for different compilations of the predicate compiler +Structures for different compilations of the predicate compiler. *) structure PredicateCompFuns =