isabelle: Changelog

kuncar [Wed, 04 Apr 2012 19:20:52 +0200] rev 47362

connect the Quotient package to the Lifting package

kuncar [Wed, 04 Apr 2012 17:51:12 +0200] rev 47361

support non-open typedefs; define cr_rel in terms of a rep function for typedefs

sultana [Wed, 04 Apr 2012 16:29:17 +0100] rev 47360

tuned;

sultana [Wed, 04 Apr 2012 16:29:16 +0100] rev 47359

added interpretation for formula conditional;

sultana [Wed, 04 Apr 2012 16:29:16 +0100] rev 47358

refactored tptp lex;

sultana [Wed, 04 Apr 2012 16:29:16 +0100] rev 47357

refactored tptp yacc to bring close to official spec;

huffman [Wed, 04 Apr 2012 16:05:52 +0200] rev 47356

transfer method generalizes over free variables in goal

huffman [Wed, 04 Apr 2012 16:03:01 +0200] rev 47355

add bounded quantifier constant transfer_bforall, whose definition is unfolded after transfer

huffman [Wed, 04 Apr 2012 12:25:58 +0200] rev 47354

update keywords file

huffman [Wed, 04 Apr 2012 14:27:20 +0200] rev 47353

merged

isabelle