wenzelm [Wed, 18 Apr 2012 21:06:12 +0200] rev 47553
merged
haftmann [Wed, 18 Apr 2012 20:47:21 +0200] rev 47552
consolidated NEWS entries on fold
haftmann [Wed, 18 Apr 2012 20:45:48 +0200] rev 47551
grouped fold-related NEWS entries together
haftmann [Wed, 18 Apr 2012 20:40:52 +0200] rev 47550
grouped NEWS concerning relations together
haftmann [Wed, 18 Apr 2012 20:38:15 +0200] rev 47549
merged rename traces
sultana [Wed, 18 Apr 2012 17:33:11 +0100] rev 47548
fixed type interpretation;
output now excludes parsed term;
tuned;
sultana [Wed, 18 Apr 2012 17:33:11 +0100] rev 47547
more tptp testing support functions;
nipkow [Wed, 18 Apr 2012 18:24:16 +0200] rev 47546
tuned text, improved dependencies
kuncar [Wed, 18 Apr 2012 17:04:03 +0200] rev 47545
Lifting: generate more thms & note them & tuned
huffman [Wed, 18 Apr 2012 15:48:32 +0200] rev 47544
move constant 'Respects' into Lifting.thy;
add quantifier transfer rules for quotients