| Thu, 24 May 2012 19:07:15 +0200 | Walther Neuper | tuned | changeset | files |
| Thu, 24 May 2012 18:40:07 +0200 | Walther Neuper | tuned | changeset | files |
| Thu, 24 May 2012 17:13:58 +0200 | Walther Neuper | prepared fun inputFillform | changeset | files |
| Tue, 22 May 2012 13:40:06 +0200 | Walther Neuper | added "fun requestFillformula" | changeset | files |
| Tue, 22 May 2012 07:00:53 +0200 | Walther Neuper | tuned | changeset | files |
| Mon, 21 May 2012 16:56:01 +0200 | Walther Neuper | added fun FindFillpatterns | changeset | files |
| Mon, 21 May 2012 07:59:57 +0200 | Walther Neuper | added fillpats to thehier | changeset | files |
| Thu, 17 May 2012 19:09:48 +0200 | Walther Neuper | fun check_error_patterns finished | changeset | files |
| Thu, 17 May 2012 16:44:13 +0200 | Walther Neuper | intermed. | changeset | files |
| Thu, 17 May 2012 12:43:04 +0200 | Walther Neuper | fun get_bdv_subst: get a substitution for bound variables from a program | changeset | files |
| Wed, 16 May 2012 15:47:22 +0200 | Walther Neuper | extended "type met" with errpats | changeset | files |
| Wed, 16 May 2012 15:01:47 +0200 | Walther Neuper | prep. extend "type met" with errpaty | changeset | files |
| Wed, 16 May 2012 08:59:09 +0200 | Walther Neuper | added fun check_err_patt | changeset | files |
| Mon, 14 May 2012 14:47:45 +0200 | Walther Neuper | merged | changeset | files |
| Mon, 14 May 2012 14:47:31 +0200 | Walther Neuper | polished ["SignalProcessing", "Z_Transform", "Inverse_sub"] | changeset | files |
| Fri, 11 May 2012 14:48:27 +0200 | Jan Rocnik | presented version off present-2 | changeset | files |
| Sun, 06 May 2012 16:13:41 +0200 | Jan Rocnik | merged | changeset | files |
| Sun, 06 May 2012 16:13:11 +0200 | Jan Rocnik | tuned present-2 | changeset | files |
| Sat, 05 May 2012 23:54:28 +0200 | Walther Neuper | met ["SignalProcessing", "Z_Transform", "Inverse_sub"] finished | changeset | files |
| Sat, 05 May 2012 15:16:13 +0200 | Walther Neuper | intermed. met ["SignalProcessing", "Z_Transform", "Inverse_sub"] | changeset | files |
| Sat, 05 May 2012 14:28:20 +0200 | Walther Neuper | tuned | changeset | files |
| Sat, 05 May 2012 14:07:58 +0200 | Walther Neuper | formatted TP-PL with (*calculation*) | changeset | files |
| Fri, 04 May 2012 17:33:31 +0200 | Walther Neuper | prep met ["SignalProcessing", "Z_Transform", "Inverse_sub"] | changeset | files |
| Fri, 04 May 2012 08:51:42 +0200 | Walther Neuper | made 3 exps SignalProcessing run | changeset | files |
| Tue, 24 Apr 2012 17:44:02 +0200 | Walther Neuper | generalised store_thm to all knowledge | changeset | files |
| Wed, 18 Apr 2012 18:57:37 +0200 | Walther Neuper | test | changeset | files |
| Tue, 10 Apr 2012 09:50:13 +0200 | Walther Neuper | repaired test broken by merge | changeset | files |
| Tue, 10 Apr 2012 09:31:31 +0200 | Walther Neuper | merged | changeset | files |
| Tue, 10 Apr 2012 09:31:21 +0200 | Walther Neuper | xml-files created from Knowledge (Isabelle2002 --> 2011) | changeset | files |
| Thu, 05 Apr 2012 17:08:48 +0200 | Walther Neuper | pbls2file, mets2file work again (Isabelle2002 --> 2011) | changeset | files |
| Thu, 05 Apr 2012 16:53:43 +0200 | Walther Neuper | renamed ID "inverse" to "Inverse" (Isabelle2002 --> 2011) | changeset | files |
| Thu, 05 Apr 2012 16:44:21 +0200 | Walther Neuper | intermed. | changeset | files |
| Mon, 09 Apr 2012 14:41:41 +0200 | Jan Rocnik | tuned | changeset | files |
| Sun, 08 Apr 2012 21:18:25 +0200 | Jan Rocnik | tuned | changeset | files |
| Fri, 06 Apr 2012 19:50:48 +0200 | Jan Rocnik | tuned rocnik_present-2 | changeset | files |
| Thu, 05 Apr 2012 11:31:56 +0200 | Walther Neuper | thydata created (Isabelle2002 --> 2011) | changeset | files |
| Tue, 20 Mar 2012 15:32:17 +0100 | Walther Neuper | intermed. fun the_hier, build thy-hierarchy | changeset | files |
| Mon, 19 Mar 2012 09:48:03 +0100 | Walther Neuper | state of development Isabelle2002 --> 2011 wrt. test/../Knowledge | changeset | files |
| Sat, 17 Mar 2012 13:43:24 +0100 | Walther Neuper | tuned | changeset | files |
| Sat, 17 Mar 2012 13:33:25 +0100 | Walther Neuper | uncomment test/../simplify,atools.sml (Isabelle 2002 --> 2011) | changeset | files |
| Sat, 17 Mar 2012 12:52:30 +0100 | Walther Neuper | uncomment test/../root,equation,poly.sml (Isabelle 2002 --> 2011) | changeset | files |
| Sat, 17 Mar 2012 11:06:46 +0100 | Walther Neuper | uncomment test/../rateq.sml (Isabelle 2002 --> 2011) | changeset | files |
| Wed, 14 Mar 2012 17:12:43 +0100 | Walther Neuper | uncomment test/../rootrateq.sml (Isabelle 2002 --> 2011) | changeset | files |
| Wed, 14 Mar 2012 11:11:54 +0100 | Walther Neuper | Test_Isac.thy had ad typo. | changeset | files |
| Wed, 14 Mar 2012 10:59:36 +0100 | Walther Neuper | uncomment test/../eqsystem.sml (Isabelle 2002 --> 2011) | changeset | files |
| Tue, 13 Mar 2012 15:04:09 +0100 | Walther Neuper | uncomment test/../ptyps.sml (Isabelle 2002 --> 2011) | changeset | files |
| Sat, 10 Mar 2012 14:53:18 +0100 | Walther Neuper | adapted theories in Build_Inverse_Z_Transform. | changeset | files |
| Sat, 10 Mar 2012 14:38:18 +0100 | Walther Neuper | merged | changeset | files |
| Sat, 10 Mar 2012 09:41:09 +0100 | Walther Neuper | uncomment test/../biegelinie (Isabelle 2002 --> 2011) | changeset | files |
| Thu, 08 Mar 2012 14:33:34 +0100 | Walther Neuper | interrupt Partial_Fraction.thy | changeset | files |
| Tue, 06 Mar 2012 14:25:08 +0100 | Walther Neuper | intermed. test/../biegelinie.sml | changeset | files |
| Mon, 05 Mar 2012 13:35:44 +0100 | Walther Neuper | made Test_Isac,thy run again | changeset | files |
| Wed, 07 Mar 2012 15:58:18 +0100 | Jan Rocnik | changed makefile, added present1 and present2, DONE latex still working | changeset | files |
| Wed, 07 Mar 2012 15:30:53 +0100 | Jan Rocnik | merged | changeset | files |
| Wed, 07 Mar 2012 15:29:02 +0100 | Jan Rocnik | finished thesis writing, added basics of present-2 | changeset | files |
| Mon, 20 Feb 2012 18:31:00 +0100 | Jan Rocnik | merged | changeset | files |
| Mon, 20 Feb 2012 18:30:27 +0100 | Jan Rocnik | tuned thesis | changeset | files |
| Mon, 05 Mar 2012 10:15:34 +0100 | Walther Neuper | standardised doc for jrocnik | changeset | files |
| Mon, 20 Feb 2012 18:29:43 +0100 | Walther Neuper | merged | changeset | files |
| Mon, 20 Feb 2012 18:18:03 +0100 | Walther Neuper | Jan finished his work | changeset | files |