| Fri, 06 May 2011 11:18:07 +0200 | intermed. ctxt ..: cleanup before start with Add_Given | file | diff | annotate |
| Thu, 05 May 2011 14:21:54 +0200 | intermed. ctxt over all minisubpbl x+1=2 | file | diff | annotate |
| Thu, 05 May 2011 09:23:32 +0200 | tuned | file | diff | annotate |
| Wed, 04 May 2011 14:04:53 +0200 | tuned | file | diff | annotate |
| Mon, 18 Apr 2011 15:48:46 +0200 | tuned | file | diff | annotate |
| Fri, 15 Apr 2011 17:07:34 +0200 | intermed. ctxt integration - assumptions now in context | file | diff | annotate |
| Mon, 04 Apr 2011 11:05:07 +0200 | intermed. context integration appl_add does not work | file | diff | annotate |
| Sat, 19 Mar 2011 15:18:10 +0100 | tuned | file | diff | annotate |
| Sat, 19 Mar 2011 15:09:19 +0100 | changes only for testing | file | diff | annotate |
| Fri, 01 Oct 2010 10:23:38 +0200 | repaired 'prepat's, the patterns and preconditions for Rrls | file | diff | annotate |
| Mon, 30 Aug 2010 14:35:51 +0200 | renamed test/* according to src/* | file | diff | annotate | base |