equal
deleted
inserted
replaced
152 * tuned 'let' syntax: replaced 'as' keyword by 'and'; |
152 * tuned 'let' syntax: replaced 'as' keyword by 'and'; |
153 |
153 |
154 * removed 'help' command, which hasn't been too helpful anyway; should |
154 * removed 'help' command, which hasn't been too helpful anyway; should |
155 instead use individual commands for printing items (print_commands, |
155 instead use individual commands for printing items (print_commands, |
156 print_methods etc.); |
156 print_methods etc.); |
|
157 |
|
158 * added 'nothing' --- the empty list of theorems; |
157 |
159 |
158 |
160 |
159 *** HOL *** |
161 *** HOL *** |
160 |
162 |
161 * HOL/Prolog: a (bare-bones) implementation of Lambda-Prolog |
163 * HOL/Prolog: a (bare-bones) implementation of Lambda-Prolog |