Tue, 24 Nov 2009 15:18:00 +0100 Fixes to the tactic after quotient_tac changed.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 24 Nov 2009 15:18:00 +0100] rev 364
Fixes to the tactic after quotient_tac changed.
Tue, 24 Nov 2009 15:15:33 +0100 merged
Christian Urban <urbanc@in.tum.de> [Tue, 24 Nov 2009 15:15:33 +0100] rev 363
merged
Tue, 24 Nov 2009 15:15:10 +0100 added a prepare_tac
Christian Urban <urbanc@in.tum.de> [Tue, 24 Nov 2009 15:15:10 +0100] rev 362
added a prepare_tac
Tue, 24 Nov 2009 14:41:47 +0100 TRY' for clean_tac
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 24 Nov 2009 14:41:47 +0100] rev 361
TRY' for clean_tac
Tue, 24 Nov 2009 14:19:54 +0100 Moved cleaning to QuotMain
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 24 Nov 2009 14:19:54 +0100] rev 360
Moved cleaning to QuotMain
Tue, 24 Nov 2009 14:16:57 +0100 New cleaning tactic
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 24 Nov 2009 14:16:57 +0100] rev 359
New cleaning tactic
Tue, 24 Nov 2009 13:46:36 +0100 explicit phases for the cleaning
Christian Urban <urbanc@in.tum.de> [Tue, 24 Nov 2009 13:46:36 +0100] rev 358
explicit phases for the cleaning
Tue, 24 Nov 2009 12:25:04 +0100 Separate regularize_tac
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 24 Nov 2009 12:25:04 +0100] rev 357
Separate regularize_tac
Tue, 24 Nov 2009 08:36:28 +0100 Another theorem for which the new regularize differs from old one, so the goal is not proved. But it seems, that the new one is better.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 24 Nov 2009 08:36:28 +0100] rev 356
Another theorem for which the new regularize differs from old one, so the goal is not proved. But it seems, that the new one is better.
Tue, 24 Nov 2009 08:35:04 +0100 More fixes for inj_REPABS
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 24 Nov 2009 08:35:04 +0100] rev 355
More fixes for inj_REPABS
(0) -300 -100 -10 +10 +100 +300 +1000 tip