isabelle: Changelog

krauss [Thu, 22 Mar 2007 13:36:55 +0100] rev 22496

cleanup

urbanc [Thu, 22 Mar 2007 11:17:32 +0100] rev 22495

clarified an error-message

urbanc [Thu, 22 Mar 2007 10:35:12 +0100] rev 22494

tuned some proofs

krauss [Wed, 21 Mar 2007 16:07:40 +0100] rev 22493

added another rule for simultaneous induction, and lemmas for zip

krauss [Wed, 21 Mar 2007 16:06:15 +0100] rev 22492

Unified function syntax

paulson [Wed, 21 Mar 2007 13:58:36 +0100] rev 22491

Numerous bug fixes. Type clauses distinguished from empty clauses. Working proof reduction.

haftmann [Wed, 21 Mar 2007 08:07:19 +0100] rev 22490

added example file

gagern [Tue, 20 Mar 2007 21:21:38 +0100] rev 22489

Better documentation path rewriting for src dir, used in tarball build.

gagern [Tue, 20 Mar 2007 20:42:14 +0100] rev 22488

Changed AnnoMaLy build process from CVS to tarball sources. Moved annomaly.ML from the official sources to the isatest directory.

krauss [Tue, 20 Mar 2007 17:07:23 +0100] rev 22487

simplified "eval" oracle method

isabelle