isabelle: Changelog

paulson [Tue, 27 May 2003 11:46:29 +0200] rev 14047

removed redundant line

paulson [Tue, 27 May 2003 11:39:03 +0200] rev 14046

updating ZF-UNITY with Sidi's new material

streckem [Mon, 26 May 2003 18:36:15 +0200] rev 14045

Introduced distinction wf_prog vs. ws_prog

kleing [Mon, 26 May 2003 11:42:41 +0200] rev 14044

set HOL_PROOF_OBJECTS in settings, not makefile (makes override in user settings possible) switched off by default

kleing [Sat, 24 May 2003 19:52:53 +0200] rev 14043

fixed

kleing [Fri, 23 May 2003 17:19:53 +0200] rev 14042

make it possible to switch off proof objects for HOL image

kleing [Fri, 23 May 2003 17:18:10 +0200] rev 14041

make it possible to switch off proof objects

kleing [Tue, 20 May 2003 11:52:42 +0200] rev 14040

be less verbose about simplification depth

kleing [Sun, 18 May 2003 16:30:20 +0200] rev 14039

fix typo

kleing [Sun, 18 May 2003 16:29:18 +0200] rev 14038

attach log files

isabelle