isabelle: Changelog

nipkow [Wed, 01 Jun 2005 09:46:06 +0200] rev 16164

*** empty log message ***

Wed, 01 Jun 2005 08:58:25 +0200 improved *.sty handling

haftmann [Wed, 01 Jun 2005 08:58:25 +0200] rev 16163

improved *.sty handling

haftmann [Wed, 01 Jun 2005 08:57:49 +0200] rev 16162

improved *.sty handling

haftmann [Wed, 01 Jun 2005 08:56:58 +0200] rev 16161

improved *.sty handling

nipkow [Wed, 01 Jun 2005 08:44:25 +0200] rev 16160

added premise<i>

nipkow [Wed, 01 Jun 2005 08:44:13 +0200] rev 16159

added dependency

obua [Tue, 31 May 2005 19:32:41 +0200] rev 16158

Removed final_consts from theory data. Now const_deps deals with final constants.

paulson [Tue, 31 May 2005 17:52:10 +0200] rev 16157

minor tidying and sml/nj compatibility

quigley [Tue, 31 May 2005 12:42:36 +0200] rev 16156

Fixed array containing clasimpset rules. Added flags to turn on and off reconstruction and full spass ruleset.

nipkow [Tue, 31 May 2005 12:36:01 +0200] rev 16155

fixed sectioning

isabelle