| Thu, 27 Oct 2016 10:48:10 +0200 | rename get_calculation* to adhoc_thm* | file | diff | annotate |
| Sat, 27 Aug 2016 10:56:42 +0200 | actually updated code according to previous changeset | file | diff | annotate |
| Fri, 12 Oct 2012 17:06:58 +0200 | 2011-->2012: ProofContext-->Proof_Context | file | diff | annotate |
| Fri, 22 Jul 2011 14:01:09 +0200 | tuned | file | diff | annotate |
| Thu, 07 Apr 2011 16:31:05 +0200 | intermed. context integration | file | diff | annotate |
| Mon, 04 Apr 2011 11:05:07 +0200 | intermed. context integration appl_add does not work | file | diff | annotate |
| Fri, 18 Mar 2011 17:24:56 +0100 | intermed. usecase Diophant | file | diff | annotate |
| Fri, 18 Mar 2011 12:33:12 +0100 | intermed. usecase Diophant: change usecase inttype | file | diff | annotate |
| Fri, 18 Mar 2011 09:26:03 +0100 | intermed. usecase Diophant | file | diff | annotate |
| Thu, 17 Mar 2011 10:46:02 +0100 | intermed usecase Diophant | file | diff | annotate |
| Thu, 17 Mar 2011 10:11:18 +0100 | intermed. usecase Diophant | file | diff | annotate |