Wed, 29 Apr 1998 11:29:00 +0200 | wenzelm | tuned names of (add_)store_XXX functions; | changeset | files |
Wed, 29 Apr 1998 11:26:59 +0200 | wenzelm | replaced thy_setup by 'setup' section; | changeset | files |
Wed, 29 Apr 1998 11:25:26 +0200 | wenzelm | added append; | changeset | files |
Wed, 29 Apr 1998 11:24:58 +0200 | wenzelm | added none: 'a -> 'a * 'b attribute list; | changeset | files |
Wed, 29 Apr 1998 11:22:52 +0200 | wenzelm | tuned error msgs; | changeset | files |
Wed, 29 Apr 1998 11:22:01 +0200 | wenzelm | moved mk_defpair to logic.ML; | changeset | files |
Wed, 29 Apr 1998 11:20:53 +0200 | wenzelm | tuned get_ax (uses ancestry); | changeset | files |