isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Thu, 21 Sep 2006 19:05:56 +0200 member (op =);

changeset

wenzelm [Thu, 21 Sep 2006 19:05:56 +0200] rev 20675

member (op =); tuned;

Thu, 21 Sep 2006 19:05:41 +0200 serial numbers for types;

changeset

wenzelm [Thu, 21 Sep 2006 19:05:41 +0200] rev 20674

serial numbers for types;

Thu, 21 Sep 2006 19:05:31 +0200 added dest_binop;

changeset

wenzelm [Thu, 21 Sep 2006 19:05:31 +0200] rev 20673

added dest_binop;

Thu, 21 Sep 2006 19:05:22 +0200 member (op =);

changeset

wenzelm [Thu, 21 Sep 2006 19:05:22 +0200] rev 20672

member (op =); tuned pattern check;

Thu, 21 Sep 2006 19:05:08 +0200 member (op =);

changeset

wenzelm [Thu, 21 Sep 2006 19:05:08 +0200] rev 20671

member (op =); Drule.dest_equals_rhs;

Thu, 21 Sep 2006 19:05:01 +0200 tuned eta_contract;

changeset

wenzelm [Thu, 21 Sep 2006 19:05:01 +0200] rev 20670

tuned eta_contract;

Thu, 21 Sep 2006 19:04:55 +0200 added dest_equals_rhs;

changeset

wenzelm [Thu, 21 Sep 2006 19:04:55 +0200] rev 20669

added dest_equals_rhs; moved dest_binop to thm.ML;

Thu, 21 Sep 2006 19:04:49 +0200 tuned;

changeset

wenzelm [Thu, 21 Sep 2006 19:04:49 +0200] rev 20668

tuned;

Thu, 21 Sep 2006 19:04:43 +0200 serial numbers for consts;

changeset

wenzelm [Thu, 21 Sep 2006 19:04:43 +0200] rev 20667

serial numbers for consts; added serial_of/name_of;

Thu, 21 Sep 2006 19:04:36 +0200 Thm.dest_binop;

changeset

wenzelm [Thu, 21 Sep 2006 19:04:36 +0200] rev 20666

Thm.dest_binop;

Thu, 21 Sep 2006 19:04:29 +0200 member (op =);

changeset

wenzelm [Thu, 21 Sep 2006 19:04:29 +0200] rev 20665

member (op =); ThmDatabase.is_ml_reserved; tuned oracle name;

Thu, 21 Sep 2006 19:04:20 +0200 member (op =);

changeset

wenzelm [Thu, 21 Sep 2006 19:04:20 +0200] rev 20664

member (op =);

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

isabelle

RSS Atom