isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Thu, 13 Jul 2000 23:20:33 +0200 defs (overloaded);

changeset

wenzelm [Thu, 13 Jul 2000 23:20:33 +0200] rev 9328

defs (overloaded);

Thu, 13 Jul 2000 23:20:14 +0200 tuned;

changeset

wenzelm [Thu, 13 Jul 2000 23:20:14 +0200] rev 9327

tuned;

Thu, 13 Jul 2000 23:19:40 +0200 added read_xnum;

changeset

wenzelm [Thu, 13 Jul 2000 23:19:40 +0200] rev 9326

added read_xnum;

Thu, 13 Jul 2000 23:19:08 +0200 fix(_i): admit internal variables;

changeset

wenzelm [Thu, 13 Jul 2000 23:19:08 +0200] rev 9325

fix(_i): admit internal variables;

Thu, 13 Jul 2000 23:18:36 +0200 use ProofContext.bind_skolem;

changeset

wenzelm [Thu, 13 Jul 2000 23:18:36 +0200] rev 9324

use ProofContext.bind_skolem;

Thu, 13 Jul 2000 23:17:44 +0200 defs: (overloaded) option;

changeset

wenzelm [Thu, 13 Jul 2000 23:17:44 +0200] rev 9323

defs: (overloaded) option;

Thu, 13 Jul 2000 23:17:14 +0200 eq_prop: strip_assums_concl;

changeset

wenzelm [Thu, 13 Jul 2000 23:17:14 +0200] rev 9322

eq_prop: strip_assums_concl;

Thu, 13 Jul 2000 23:16:48 +0200 tuned exceptions;

changeset

wenzelm [Thu, 13 Jul 2000 23:16:48 +0200] rev 9321

tuned exceptions; added add_deps_acyclic, merge_acyclic;

Thu, 13 Jul 2000 23:16:13 +0200 const_deps: unit Graph.T;

changeset

wenzelm [Thu, 13 Jul 2000 23:16:13 +0200] rev 9320

const_deps: unit Graph.T; proper merge of const_deps; tuned;

Thu, 13 Jul 2000 23:15:20 +0200 add_term_consts: ins_string;

changeset

wenzelm [Thu, 13 Jul 2000 23:15:20 +0200] rev 9319

add_term_consts: ins_string;

Thu, 13 Jul 2000 23:14:49 +0200 add_defs(_i): overloaded option;

changeset

wenzelm [Thu, 13 Jul 2000 23:14:49 +0200] rev 9318

add_defs(_i): overloaded option;

Thu, 13 Jul 2000 23:14:15 +0200 adapted PureThy.add_defs;

changeset

wenzelm [Thu, 13 Jul 2000 23:14:15 +0200] rev 9317

adapted PureThy.add_defs;

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

isabelle

RSS Atom