| Thu, 09 Apr 1998 12:29:39 +0200 | paulson | Simplified the syntax description; mentioned FOL vs HOL | changeset | files |
| Tue, 07 Apr 1998 13:46:34 +0200 | oheimb | *** empty log message *** | changeset | files |
| Tue, 07 Apr 1998 13:46:05 +0200 | oheimb | replaced option_map_SomeD by option_map_eq_Some (RS iffD1) | changeset | files |
| Tue, 07 Apr 1998 13:43:07 +0200 | oheimb | made split_all_tac as safe wrapper more defensive: | changeset | files |
| Sat, 04 Apr 1998 14:30:19 +0200 | wenzelm | no open Simplifier; | changeset | files |
| Sat, 04 Apr 1998 14:27:11 +0200 | wenzelm | tuned fail; | changeset | files |
| Sat, 04 Apr 1998 12:31:35 +0200 | wenzelm | type_error; | changeset | files |
| Sat, 04 Apr 1998 12:30:17 +0200 | wenzelm | tuned comments; | changeset | files |
| Sat, 04 Apr 1998 12:29:07 +0200 | wenzelm | no open Simplifier; | changeset | files |
| Sat, 04 Apr 1998 12:28:39 +0200 | wenzelm | replaced thy_data by thy_setup; | changeset | files |
| Sat, 04 Apr 1998 12:26:47 +0200 | wenzelm | type_error; | changeset | files |
| Sat, 04 Apr 1998 11:44:16 +0200 | wenzelm | replaced thy_data by setup; | changeset | files |
| Sat, 04 Apr 1998 11:43:39 +0200 | wenzelm | removed simple; | changeset | files |
| Sat, 04 Apr 1998 11:42:48 +0200 | wenzelm | added triv_goal, rev_triv_goal (for Isar); | changeset | files |
| Sat, 04 Apr 1998 11:42:26 +0200 | wenzelm | added Goal_def; | changeset | files |