| changeset 41471 | 54a58904a598 |
| parent 41447 | 537b290bbe38 |
| child 41491 | a2ad5b824051 |
--- a/src/HOL/Tools/prop_logic.ML Sat Jan 08 14:32:55 2011 +0100 +++ b/src/HOL/Tools/prop_logic.ML Sat Jan 08 16:01:51 2011 +0100 @@ -42,7 +42,7 @@ val term_of_prop_formula: prop_formula -> term end; -structure PropLogic : PROP_LOGIC = +structure Prop_Logic : PROP_LOGIC = struct (* ------------------------------------------------------------------------- *)