Thu, 08 Jul 2010 16:19:24 +0200 | haftmann | tuned titles | file | diff | annotate |
Fri, 18 Jun 2010 15:26:04 +0200 | haftmann | code_simp: only succeed on real progress | file | diff | annotate |
Fri, 18 Jun 2010 15:03:21 +0200 | haftmann | conclude simplification with default simpset | file | diff | annotate |
Thu, 17 Jun 2010 15:59:47 +0200 | haftmann | more precise code | file | diff | annotate |
Thu, 17 Jun 2010 10:45:10 +0200 | haftmann | added simp evaluator | file | diff | annotate |
Tue, 15 Jun 2010 14:28:22 +0200 | haftmann | added code_simp infrastructure | file | diff | annotate |