Thu, 20 Oct 2016 10:26:29 +0200 | simplify handling of theorems | file | diff | annotate |
Fri, 20 May 2011 14:49:07 +0200 | tuned | file | diff | annotate |
Thu, 19 May 2011 19:28:22 +0200 | intermed. ctxt ..: add preconds in solve..Apply_Method | file | diff | annotate |
Wed, 18 May 2011 11:58:48 +0200 | intermed. ctxt ..: calculation x+1=2 goes through | file | diff | annotate |
Tue, 17 May 2011 15:02:43 +0200 | tuned | file | diff | annotate |