isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

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;

Thu, 13 Jul 2000 23:13:52 +0200 fixed comment;

changeset

wenzelm [Thu, 13 Jul 2000 23:13:52 +0200] rev 9316

fixed comment;

Thu, 13 Jul 2000 23:13:10 +0200 adapted PureThy.add_defs_i;

changeset

wenzelm [Thu, 13 Jul 2000 23:13:10 +0200] rev 9315

adapted PureThy.add_defs_i;

Thu, 13 Jul 2000 23:11:38 +0200 use Syntax.read_xnum;

changeset

wenzelm [Thu, 13 Jul 2000 23:11:38 +0200] rev 9314

use Syntax.read_xnum;

Thu, 13 Jul 2000 23:11:14 +0200 fixed simplified_cases;

changeset

wenzelm [Thu, 13 Jul 2000 23:11:14 +0200] rev 9313

fixed simplified_cases;

Thu, 13 Jul 2000 23:10:12 +0200 fixed name: UN_empty3;

changeset

wenzelm [Thu, 13 Jul 2000 23:10:12 +0200] rev 9312

fixed name: UN_empty3;

Thu, 13 Jul 2000 23:09:25 +0200 replaced infix Plus by <+>;

changeset

wenzelm [Thu, 13 Jul 2000 23:09:25 +0200] rev 9311

replaced infix Plus by <+>;

Thu, 13 Jul 2000 23:09:03 +0200 removed duplicate Compl_atMost;

changeset

wenzelm [Thu, 13 Jul 2000 23:09:03 +0200] rev 9310

removed duplicate Compl_atMost;

Thu, 13 Jul 2000 23:08:42 +0200 fixed compose decl;

changeset

wenzelm [Thu, 13 Jul 2000 23:08:42 +0200] rev 9309

fixed compose decl;

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

changeset

wenzelm [Thu, 13 Jul 2000 23:08:20 +0200] rev 9308

defs: (overloaded) option;

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

isabelle

RSS Atom