haftmann [Wed, 18 Apr 2012 20:38:15 +0200] rev 48415
merged rename traces
sultana [Wed, 18 Apr 2012 17:33:11 +0100] rev 48414
fixed type interpretation;
output now excludes parsed term;
tuned;
sultana [Wed, 18 Apr 2012 17:33:11 +0100] rev 48413
more tptp testing support functions;
nipkow [Wed, 18 Apr 2012 18:24:16 +0200] rev 48412
tuned text, improved dependencies
kuncar [Wed, 18 Apr 2012 17:04:03 +0200] rev 48411
Lifting: generate more thms & note them & tuned
huffman [Wed, 18 Apr 2012 15:48:32 +0200] rev 48410
move constant 'Respects' into Lifting.thy;
add quantifier transfer rules for quotients
huffman [Wed, 18 Apr 2012 15:09:07 +0200] rev 48409
add lemma Quotient_abs_induct
huffman [Wed, 18 Apr 2012 14:59:04 +0200] rev 48408
more usage of context blocks
huffman [Wed, 18 Apr 2012 14:34:25 +0200] rev 48407
use context block
huffman [Wed, 18 Apr 2012 12:15:20 +0200] rev 48406
lifting_setup generates transfer rule for rep of typedefs