equal
deleted
inserted
replaced
1 (* Title: HOL/Prolog/prolog.ML |
1 (* Title: HOL/Prolog/prolog.ML |
2 Author: David von Oheimb (based on a lecture on Lambda Prolog by Nadathur) |
2 Author: David von Oheimb (based on a lecture on Lambda Prolog by Nadathur) |
3 *) |
3 *) |
4 |
4 |
5 Options.default_put_bool @{option show_main_goal} true; |
5 Options.default_put_bool @{system_option show_main_goal} true; |
6 |
6 |
7 structure Prolog = |
7 structure Prolog = |
8 struct |
8 struct |
9 |
9 |
10 exception not_HOHH; |
10 exception not_HOHH; |