isabelle: Changelog

haftmann [Fri, 20 Oct 2006 17:07:26 +0200] rev 21078

slight cleanup

haftmann [Fri, 20 Oct 2006 17:07:25 +0200] rev 21077

extended section on code generator

haftmann [Fri, 20 Oct 2006 17:07:24 +0200] rev 21076

small refinements

haftmann [Fri, 20 Oct 2006 17:07:23 +0200] rev 21075

continued

haftmann [Fri, 20 Oct 2006 17:07:22 +0200] rev 21074

added entries for tutorials

berghofe [Fri, 20 Oct 2006 14:13:48 +0200] rev 21073

Proof of "bs # fK bs us vs" no longer depends on FCBs.

paulson [Fri, 20 Oct 2006 11:07:45 +0200] rev 21072

example of a single-step proof reconstruction

paulson [Fri, 20 Oct 2006 11:06:20 +0200] rev 21071

Fixed the "exception Empty" bug in elim2Fol Also added a check to suppress elimination rules that would yield too many clauses More debugging info

paulson [Fri, 20 Oct 2006 11:04:15 +0200] rev 21070

Added more debugging info

paulson [Fri, 20 Oct 2006 11:03:33 +0200] rev 21069

nclauses no longer requires its input to be in NNF

isabelle