Fri, 09 Feb 2001 16:01:58 +0100 | kleing | tuned for 99-2 release | changeset | files |
Fri, 09 Feb 2001 11:40:10 +0100 | wenzelm | unsymbolized; | changeset | files |
Wed, 07 Feb 2001 20:57:03 +0100 | wenzelm | tuned; | changeset | files |
Wed, 07 Feb 2001 20:56:40 +0100 | wenzelm | improved; | changeset | files |
Wed, 07 Feb 2001 17:40:56 +0100 | oheimb | solved non-initialization problems; improvements using prefer | changeset | files |
Wed, 07 Feb 2001 16:37:24 +0100 | paulson | various revisions in response to comments from Tobias | changeset | files |
Wed, 07 Feb 2001 12:15:59 +0100 | wenzelm | val get_goal: state -> context * (thm list * thm); | changeset | files |