| changeset 39125 | f45d332a90e3 |
| parent 38798 | 89f273ab1d42 |
| child 45625 | 750c5a47400b |
--- a/src/HOL/Prolog/prolog.ML Fri Sep 03 20:39:38 2010 +0200 +++ b/src/HOL/Prolog/prolog.ML Fri Sep 03 21:13:53 2010 +0200 @@ -2,7 +2,7 @@ Author: David von Oheimb (based on a lecture on Lambda Prolog by Nadathur) *) -Proof.show_main_goal := true; +Goal_Display.show_main_goal_default := true; structure Prolog = struct