isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Tue, 27 Nov 2001 13:28:26 +0100 make SML/NJ happy;

changeset

wenzelm [Tue, 27 Nov 2001 13:28:26 +0100] rev 12302

make SML/NJ happy;

Mon, 26 Nov 2001 23:24:27 +0100 added Pure/Isar/rule_context.ML;

changeset

wenzelm [Mon, 26 Nov 2001 23:24:27 +0100] rev 12301

added Pure/Isar/rule_context.ML;

Mon, 26 Nov 2001 23:23:33 +0100 gcd_dvd1 and gcd_dvd2 proven simultaneously;

changeset

wenzelm [Mon, 26 Nov 2001 23:23:33 +0100] rev 12300

gcd_dvd1 and gcd_dvd2 proven simultaneously;

Mon, 26 Nov 2001 18:34:17 +0100 moved lemmas to theory Hilbert_Choice;

changeset

wenzelm [Mon, 26 Nov 2001 18:34:17 +0100] rev 12299

moved lemmas to theory Hilbert_Choice;

Mon, 26 Nov 2001 18:33:57 +0100 tuned;

changeset

wenzelm [Mon, 26 Nov 2001 18:33:57 +0100] rev 12298

tuned; meson lemmas from Tools/meson.ML;

Mon, 26 Nov 2001 18:33:21 +0100 added remdups_rl;

changeset

wenzelm [Mon, 26 Nov 2001 18:33:21 +0100] rev 12297

added remdups_rl;

Mon, 26 Nov 2001 18:33:08 +0100 clarified order of merge_lists';

changeset

wenzelm [Mon, 26 Nov 2001 18:33:08 +0100] rev 12296

clarified order of merge_lists';

Mon, 26 Nov 2001 17:48:22 +0100 clarified order in gen_merge_lists';

changeset

wenzelm [Mon, 26 Nov 2001 17:48:22 +0100] rev 12295

clarified order in gen_merge_lists';

Sat, 24 Nov 2001 17:21:47 +0100 fixed SML/NJ error (!?);

changeset

wenzelm [Sat, 24 Nov 2001 17:21:47 +0100] rev 12294

fixed SML/NJ error (!?);

Sat, 24 Nov 2001 17:02:39 +0100 use merge_lists, merge_alists;

changeset

wenzelm [Sat, 24 Nov 2001 17:02:39 +0100] rev 12293

use merge_lists, merge_alists;

Sat, 24 Nov 2001 17:01:00 +0100 Symtab.merge_multi';

changeset

wenzelm [Sat, 24 Nov 2001 17:01:00 +0100] rev 12292

Symtab.merge_multi'; tuned;

Sat, 24 Nov 2001 17:00:35 +0100 type variables: clarified "used" vs. "occ";

changeset

wenzelm [Sat, 24 Nov 2001 17:00:35 +0100] rev 12291

type variables: clarified "used" vs. "occ";

Sat, 24 Nov 2001 16:59:44 +0100 Library.gen_merge_lists';

changeset

wenzelm [Sat, 24 Nov 2001 16:59:44 +0100] rev 12290

Library.gen_merge_lists';

Sat, 24 Nov 2001 16:59:32 +0100 clarified locale operations (rename, merge);

changeset

wenzelm [Sat, 24 Nov 2001 16:59:32 +0100] rev 12289

clarified locale operations (rename, merge); tuned;

Sat, 24 Nov 2001 16:58:57 +0100 print_locale: expr;

changeset

wenzelm [Sat, 24 Nov 2001 16:58:57 +0100] rev 12288

print_locale: expr;

Sat, 24 Nov 2001 16:58:31 +0100 added join, merge_multi(');

changeset

wenzelm [Sat, 24 Nov 2001 16:58:31 +0100] rev 12287

added join, merge_multi('); tuned extend, make, merge;

Sat, 24 Nov 2001 16:57:34 +0100 merge_stamps: merge_lists' with reversed args;

changeset

wenzelm [Sat, 24 Nov 2001 16:57:34 +0100] rev 12286

merge_stamps: merge_lists' with reversed args;

Sat, 24 Nov 2001 16:56:26 +0100 gen_merge_lists;

changeset

wenzelm [Sat, 24 Nov 2001 16:56:26 +0100] rev 12285

gen_merge_lists;

Sat, 24 Nov 2001 16:55:56 +0100 added gen_merge_lists(') and merge_lists(');

changeset

wenzelm [Sat, 24 Nov 2001 16:55:56 +0100] rev 12284

added gen_merge_lists(') and merge_lists('); removed obsolete generic_extend, generic_merge, extend_list;

Sat, 24 Nov 2001 16:55:00 +0100 gen_merge_lists';

changeset

wenzelm [Sat, 24 Nov 2001 16:55:00 +0100] rev 12283

gen_merge_lists';

Sat, 24 Nov 2001 16:54:32 +0100 generic_merge;

changeset

wenzelm [Sat, 24 Nov 2001 16:54:32 +0100] rev 12282

generic_merge;

Sat, 24 Nov 2001 16:54:10 +0100 converted simp lemmas;

changeset

wenzelm [Sat, 24 Nov 2001 16:54:10 +0100] rev 12281

converted simp lemmas;

Sat, 24 Nov 2001 16:53:31 +0100 tuned;

changeset

wenzelm [Sat, 24 Nov 2001 16:53:31 +0100] rev 12280

tuned;

Sat, 24 Nov 2001 13:58:19 +0100 Extended match_proof to handle abstractions.

changeset

berghofe [Sat, 24 Nov 2001 13:58:19 +0100] rev 12279

Extended match_proof to handle abstractions.

(0) -10000 -3000 -1000 -300 -100 -50 -24 +24 +50 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle

RSS Atom