isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Thu, 06 Dec 2001 00:37:59 +0100 this material already part of HOL/Set.thy;

changeset

wenzelm [Thu, 06 Dec 2001 00:37:59 +0100] rev 12395

this material already part of HOL/Set.thy;

Wed, 05 Dec 2001 20:58:00 +0100 sym [sym];

changeset

wenzelm [Wed, 05 Dec 2001 20:58:00 +0100] rev 12394

sym [sym];

Wed, 05 Dec 2001 15:45:24 +0100 tuned;

changeset

wenzelm [Wed, 05 Dec 2001 15:45:24 +0100] rev 12393

tuned;

Wed, 05 Dec 2001 15:44:45 +0100 iff;

changeset

wenzelm [Wed, 05 Dec 2001 15:44:45 +0100] rev 12392

iff;

Wed, 05 Dec 2001 15:36:48 +0100 updated;

changeset

wenzelm [Wed, 05 Dec 2001 15:36:48 +0100] rev 12391

updated;

Wed, 05 Dec 2001 15:36:36 +0100 adapted intr/elim uses;

changeset

wenzelm [Wed, 05 Dec 2001 15:36:36 +0100] rev 12390

adapted intr/elim uses;

Wed, 05 Dec 2001 14:32:10 +0100 eliminated old use of intro/elim method;

changeset

wenzelm [Wed, 05 Dec 2001 14:32:10 +0100] rev 12389

eliminated old use of intro/elim method; tuned;

Wed, 05 Dec 2001 13:16:34 +0100 simplified proof (no longer use swapped rules);

changeset

wenzelm [Wed, 05 Dec 2001 13:16:34 +0100] rev 12388

simplified proof (no longer use swapped rules);

Wed, 05 Dec 2001 03:19:47 +0100 fixed intro steps;

changeset

wenzelm [Wed, 05 Dec 2001 03:19:47 +0100] rev 12387

fixed intro steps;

Wed, 05 Dec 2001 03:19:14 +0100 tuned declarations (rules, sym, etc.);

changeset

wenzelm [Wed, 05 Dec 2001 03:19:14 +0100] rev 12386

tuned declarations (rules, sym, etc.);

Wed, 05 Dec 2001 03:18:03 +0100 removed unused functionality (weight etc.);

changeset

wenzelm [Wed, 05 Dec 2001 03:18:03 +0100] rev 12385

removed unused functionality (weight etc.);

Wed, 05 Dec 2001 03:17:34 +0100 simple version of 'intro' and 'elim' method;

changeset

wenzelm [Wed, 05 Dec 2001 03:17:34 +0100] rev 12384

simple version of 'intro' and 'elim' method; use ContextRules.find_rules;

Wed, 05 Dec 2001 03:16:43 +0100 added 'print_rules' command;

changeset

wenzelm [Wed, 05 Dec 2001 03:16:43 +0100] rev 12383

added 'print_rules' command;

Wed, 05 Dec 2001 03:15:50 +0100 added print_rules;

changeset

wenzelm [Wed, 05 Dec 2001 03:15:50 +0100] rev 12382

added print_rules;

Wed, 05 Dec 2001 03:15:32 +0100 simplified NetRules;

changeset

wenzelm [Wed, 05 Dec 2001 03:15:32 +0100] rev 12381

simplified NetRules;

Wed, 05 Dec 2001 03:15:15 +0100 export low-level addXXs;

changeset

wenzelm [Wed, 05 Dec 2001 03:15:15 +0100] rev 12380

export low-level addXXs; find_rules interface;

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

isabelle

RSS Atom