changeset 33265 | 01c9c6dbd890 |
parent 33252 | 8bd2eb003b8f |
child 33327 | 9d03957622a2 |
--- a/src/HOL/Tools/Predicate_Compile/predicate_compile.ML Tue Oct 27 23:12:10 2009 +0100 +++ b/src/HOL/Tools/Predicate_Compile/predicate_compile.ML Wed Oct 28 00:07:51 2009 +0100 @@ -1,6 +1,9 @@ -(* Author: Lukas Bulwahn, TU Muenchen +(* Title: HOL/Tools/Predicate_Compile/predicate_compile.ML + Author: Lukas Bulwahn, TU Muenchen +FIXME. *) + signature PREDICATE_COMPILE = sig val setup : theory -> theory