| Wed, 02 Aug 2006 23:09:49 +0200 | wenzelm | tuned proofs; | file | diff | annotate |
| Wed, 02 Aug 2006 22:27:08 +0200 | wenzelm | lemma da_good_approx: adapted induction (was exploting lifted obtain result); | file | diff | annotate |
| Mon, 12 Jun 2006 20:58:25 +0200 | wenzelm | avoid accidental binding of ?Jmp; | file | diff | annotate |