isabelle: Changelog

berghofe [Fri, 16 Jul 1999 12:02:06 +0200] rev 7013

Some rather large datatype examples (from John Harrison).

wenzelm [Thu, 15 Jul 1999 17:54:58 +0200] rev 7012

improved print_thms;

wenzelm [Thu, 15 Jul 1999 17:53:28 +0200] rev 7011

export init_state; end_proof: reset goal_facts;

paulson [Thu, 15 Jul 1999 10:34:37 +0200] rev 7010

more renaming of theorems from _nat to _int (corresponding to a function that was similarly renamed some time ago Also new theorem zmult_int

paulson [Thu, 15 Jul 1999 10:34:00 +0200] rev 7009

more renaming of theorems from _nat to _int (corresponding to a function that was similarly renamed some time ago

paulson [Thu, 15 Jul 1999 10:33:16 +0200] rev 7008

qed_goal -> Goal; new theorems nat_le_0, nat_le_eq_zle and zdiff_int

paulson [Thu, 15 Jul 1999 10:27:54 +0200] rev 7007

qed_goal -> Goal

wenzelm [Wed, 14 Jul 1999 13:32:21 +0200] rev 7006

tuned;

wenzelm [Wed, 14 Jul 1999 13:07:09 +0200] rev 7005

tuned comments;

wenzelm [Wed, 14 Jul 1999 13:06:08 +0200] rev 7004

tuned contradiction method; improved comments;

isabelle