isabelle: Changelog

paulson [Fri, 14 May 2004 16:49:42 +0200] rev 14745

new lemmas

paulson [Fri, 14 May 2004 16:49:12 +0200] rev 14744

clauses for ordinary resolution

paulson [Fri, 14 May 2004 16:48:37 +0200] rev 14743

conversion of theorems to atomic form

mehta [Thu, 13 May 2004 16:02:29 +0200] rev 14742

New simp rules added: insert_disjoint disjoint_insert disjoint_int_union

paulson [Wed, 12 May 2004 10:40:41 +0200] rev 14741

simpilified and strengthened proofs

nipkow [Wed, 12 May 2004 10:00:56 +0200] rev 14740

fixed latex problems

nipkow [Wed, 12 May 2004 08:14:29 +0200] rev 14739

renamed `> to o_m

obua [Tue, 11 May 2004 20:11:08 +0200] rev 14738

changes made due to new Ring_and_Field theory

berghofe [Tue, 11 May 2004 14:00:02 +0200] rev 14737

Eta-expanded function scan_comment to make SmlNJ happy.

paulson [Tue, 11 May 2004 10:49:58 +0200] rev 14736

broken no longer includes TTP, and other minor changes

isabelle