isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Tue, 13 Sep 2005 22:19:33 +0200 added cases, rule_contextN;

changeset

wenzelm [Tue, 13 Sep 2005 22:19:33 +0200] rev 17349

added cases, rule_contextN; eliminated obsolete Sign.sg;

Tue, 13 Sep 2005 22:19:32 +0200 load locale.ML late (after proof.ML);

changeset

wenzelm [Tue, 13 Sep 2005 22:19:32 +0200] rev 17348

load locale.ML late (after proof.ML); tuned module arrangement;

Tue, 13 Sep 2005 22:19:31 +0200 added maps, map_list, lift, lifts;

changeset

wenzelm [Tue, 13 Sep 2005 22:19:31 +0200] rev 17347

added maps, map_list, lift, lifts;

Tue, 13 Sep 2005 22:19:30 +0200 added stack.ML;

changeset

wenzelm [Tue, 13 Sep 2005 22:19:30 +0200] rev 17346

added stack.ML;

Tue, 13 Sep 2005 22:19:29 +0200 added simple_fact;

changeset

wenzelm [Tue, 13 Sep 2005 22:19:29 +0200] rev 17345

added simple_fact; generalized no_attributes;

Tue, 13 Sep 2005 22:19:28 +0200 Seq.maps;

changeset

wenzelm [Tue, 13 Sep 2005 22:19:28 +0200] rev 17344

Seq.maps;

Tue, 13 Sep 2005 22:19:27 +0200 added hide_names(_i) (from isar_thy.ML);

changeset

wenzelm [Tue, 13 Sep 2005 22:19:27 +0200] rev 17343

added hide_names(_i) (from isar_thy.ML);

Tue, 13 Sep 2005 22:19:26 +0200 added generic_setup, add_oracle (from isar_thy.ML);

changeset

wenzelm [Tue, 13 Sep 2005 22:19:26 +0200] rev 17342

added generic_setup, add_oracle (from isar_thy.ML);

Tue, 13 Sep 2005 22:19:25 +0200 added exception EXCEPTION of exn * string;

changeset

wenzelm [Tue, 13 Sep 2005 22:19:25 +0200] rev 17341

added exception EXCEPTION of exn * string;

Tue, 13 Sep 2005 22:19:24 +0200 replaced DATA_FAIL by EXCEPTION;

changeset

wenzelm [Tue, 13 Sep 2005 22:19:24 +0200] rev 17340

replaced DATA_FAIL by EXCEPTION;

Tue, 13 Sep 2005 22:19:23 +0200 tuned Isar interfaces;

changeset

wenzelm [Tue, 13 Sep 2005 22:19:23 +0200] rev 17339

tuned Isar interfaces; tuned IsarThy.theorem_i;

Tue, 13 Sep 2005 22:19:22 +0200 added General/stack.ML, Isar/proof_display.ML;

changeset

wenzelm [Tue, 13 Sep 2005 22:19:22 +0200] rev 17338

added General/stack.ML, Isar/proof_display.ML;

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

isabelle

RSS Atom