isabelle: Changelog

haftmann [Fri, 09 Mar 2012 20:50:28 +0100] rev 46851

reject mapper terms with type variables not contained in the term's type

haftmann [Fri, 09 Mar 2012 20:17:16 +0100] rev 46850

always bracket case expressions in Scala

wenzelm [Fri, 09 Mar 2012 20:04:19 +0100] rev 46849

tuned signature;

paulson [Fri, 09 Mar 2012 17:24:42 +0000] rev 46848

merges

paulson [Fri, 09 Mar 2012 17:24:00 +0000] rev 46847

More calculation-based cardinality proofs

sultana [Fri, 09 Mar 2012 15:39:06 +0000] rev 46846

split make_tptp_parser into two scripts, for parser and lib respectively;

sultana [Fri, 09 Mar 2012 15:39:00 +0000] rev 46845

added ml-yacc library sources;

sultana [Fri, 09 Mar 2012 15:38:55 +0000] rev 46844

added tptp parser;

wenzelm [Thu, 08 Mar 2012 22:04:40 +0100] rev 46843

merged

paulson [Thu, 08 Mar 2012 16:49:24 +0000] rev 46842

Structured and calculation-based proofs (with new trans rules!)

isabelle