Fri, 21 Oct 2005 18:14:56 +0200 | wenzelm | export add_binds_i; | changeset | files |
Fri, 21 Oct 2005 18:14:55 +0200 | wenzelm | load_file: setmp OldGoals.legacy true; | changeset | files |
Fri, 21 Oct 2005 18:14:54 +0200 | wenzelm | improved check_result; | changeset | files |
Fri, 21 Oct 2005 18:14:53 +0200 | wenzelm | Goal.prove_plain; | changeset | files |
Fri, 21 Oct 2005 18:14:52 +0200 | wenzelm | do not export find_thms; | changeset | files |
Fri, 21 Oct 2005 18:14:51 +0200 | wenzelm | use obsolete goals.ML here; | changeset | files |