isabelle: Changelog

paulson [Fri, 22 Jul 2005 17:43:03 +0200] rev 16905

reformatting and tidying

paulson [Fri, 22 Jul 2005 17:42:40 +0200] rev 16904

tidied up the tracing output

paulson [Fri, 22 Jul 2005 13:19:06 +0200] rev 16903

streamlined the tptp output

paulson [Fri, 22 Jul 2005 13:18:54 +0200] rev 16902

removed unused code

berghofe [Fri, 22 Jul 2005 11:55:11 +0200] rev 16901

Tuned comment.

berghofe [Fri, 22 Jul 2005 11:54:29 +0200] rev 16900

Rewrote function remove_suc, since it failed on some equations produced by recdef.

webertj [Thu, 21 Jul 2005 18:52:17 +0200] rev 16899

write_dimacs_sat_file now generates slightly smaller files

paulson [Wed, 20 Jul 2005 17:01:20 +0200] rev 16898

revised examples

paulson [Wed, 20 Jul 2005 17:00:28 +0200] rev 16897

code streamlining

aspinall [Wed, 20 Jul 2005 15:57:10 +0200] rev 16896

Ressurect seq attribute accidently removed

isabelle