Mon, 23 Jun 2008 15:26:47 +0200 induct_tac: rule is inferred from types;
wenzelm [Mon, 23 Jun 2008 15:26:47 +0200] rev 27318
induct_tac: rule is inferred from types;
Sun, 22 Jun 2008 23:08:32 +0200 cleaned up some proofs;
huffman [Sun, 22 Jun 2008 23:08:32 +0200] rev 27317
cleaned up some proofs; removed unused stuff about totally-ordered sets; import Main
Sun, 22 Jun 2008 23:02:40 +0200 use new-style abbreviation/notation for fix syntax
huffman [Sun, 22 Jun 2008 23:02:40 +0200] rev 27316
use new-style abbreviation/notation for fix syntax
(0) -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip