| Fri, 17 Apr 2020 15:19:02 +0200 | Walther Neuper | tuned | changeset | files |
| Fri, 17 Apr 2020 15:12:19 +0200 | Walther Neuper | prep. take apart struct.Celem | changeset | files |
| Wed, 15 Apr 2020 18:00:58 +0200 | Walther Neuper | collect code in ThyC | changeset | files |
| Wed, 15 Apr 2020 16:46:41 +0200 | Walther Neuper | use "ThyC" for renaming identifiers finished, cleanup | changeset | files |
| Wed, 15 Apr 2020 13:47:56 +0200 | Walther Neuper | use "ThyC" for renaming identifiers | changeset | files |
| Wed, 15 Apr 2020 11:37:43 +0200 | Walther Neuper | cleanup | changeset | files |
| Wed, 15 Apr 2020 11:11:54 +0200 | Walther Neuper | cleanup handling of ThmC.sym_thm | changeset | files |
| Wed, 15 Apr 2020 10:07:43 +0200 | Walther Neuper | use "ThmC" for renaming identifiers | changeset | files |
| Tue, 14 Apr 2020 15:56:15 +0200 | Walther Neuper | use "ThmC_Def" for renaming identifiers | changeset | files |
| Tue, 14 Apr 2020 12:39:26 +0200 | Walther Neuper | reorganise struct. ThmC, part 3 end | changeset | files |
| Mon, 13 Apr 2020 18:37:24 +0200 | Walther Neuper | tuned | changeset | files |
| Mon, 13 Apr 2020 18:32:01 +0200 | Walther Neuper | reorganise struct. ThmC, part 2 | changeset | files |
| Mon, 13 Apr 2020 15:31:23 +0200 | Walther Neuper | reorganise struct. ThmC, part 1 | changeset | files |
| Mon, 13 Apr 2020 13:27:55 +0200 | Walther Neuper | improve renaming | changeset | files |
| Mon, 13 Apr 2020 13:13:07 +0200 | Walther Neuper | improve comments | changeset | files |
| Fri, 10 Apr 2020 18:32:36 +0200 | Walther Neuper | use "UnparseC" for renaming identifiers | changeset | files |
| Fri, 10 Apr 2020 16:16:09 +0200 | Walther Neuper | use "Rule" and "Rule_Set" for renaming identifiers | changeset | files |
| Fri, 10 Apr 2020 15:02:50 +0200 | Walther Neuper | rename directory CalcElements to BaseDefinitions | changeset | files |
| Fri, 10 Apr 2020 14:46:55 +0200 | Walther Neuper | rearrange code for ThmC | changeset | files |
| Fri, 10 Apr 2020 12:28:47 +0200 | Walther Neuper | rearrange code in Rule_Set and Rule, finished | changeset | files |
| Thu, 09 Apr 2020 18:21:09 +0200 | Walther Neuper | rearrange code in Rule_Set and Rule | changeset | files |
| Thu, 09 Apr 2020 17:16:48 +0200 | Walther Neuper | shift code to ThyC | changeset | files |
| Thu, 09 Apr 2020 17:13:17 +0200 | Walther Neuper | separate struct. UnparseC, shift code to ThmC | changeset | files |
| Thu, 09 Apr 2020 12:03:14 +0200 | Walther Neuper | add test files according to new struct.s | changeset | files |
| Thu, 09 Apr 2020 11:30:58 +0200 | Walther Neuper | rename file according to previous change set | changeset | files |
| Thu, 09 Apr 2020 11:21:53 +0200 | Walther Neuper | separate struct. ThmC, Error_Fill_Def; unite error-pattern and fill-pattern | changeset | files |
| Wed, 08 Apr 2020 16:56:47 +0200 | Walther Neuper | separate struct Rewrite_Ord | changeset | files |
| Wed, 08 Apr 2020 15:50:03 +0200 | Walther Neuper | tuned | changeset | files |
| Wed, 08 Apr 2020 14:27:11 +0200 | Walther Neuper | tuned | changeset | files |
| Wed, 08 Apr 2020 14:24:38 +0200 | Walther Neuper | separate struct ThyC | changeset | files |
| Wed, 08 Apr 2020 13:21:19 +0200 | Walther Neuper | separate struct Exec_Def | changeset | files |
| Wed, 08 Apr 2020 12:32:51 +0200 | Walther Neuper | use new struct "Rule_Set" for renaming identifiers | changeset | files |
| Mon, 06 Apr 2020 11:44:36 +0200 | Walther Neuper | use "Rule_Set" for shorter identifiers | changeset | files |
| Sat, 04 Apr 2020 12:11:32 +0200 | Walther Neuper | separate Rule_Set from Rule | changeset | files |
| Wed, 01 Apr 2020 19:20:05 +0200 | Walther Neuper | separate Rule_Def from Rule | changeset | files |
| Wed, 01 Apr 2020 18:54:03 +0200 | Walther Neuper | renaming, cleanup | changeset | files |
| Wed, 01 Apr 2020 14:14:46 +0200 | Walther Neuper | reorganise 2 tests according to fun.defs | changeset | files |
| Wed, 01 Apr 2020 12:42:39 +0200 | Walther Neuper | renaming, cleanup | changeset | files |
| Wed, 01 Apr 2020 10:24:13 +0200 | Walther Neuper | renaming, cleanup | changeset | files |
| Tue, 31 Mar 2020 15:43:33 +0200 | Walther Neuper | renaming, cleanup | changeset | files |
| Tue, 31 Mar 2020 14:05:10 +0200 | Walther Neuper | remove assumptions from Check_Postcond'; these are done by context now | changeset | files |
| Tue, 31 Mar 2020 13:06:41 +0200 | Walther Neuper | avoid contradicting predicates in contexts | changeset | files |
| Thu, 26 Mar 2020 16:17:21 +0100 | Walther Neuper | improve classification of assumptions (True, False, indeterminate) | changeset | files |
| Wed, 25 Mar 2020 11:01:02 +0100 | Walther Neuper | remove unused field in Ctree, finish | changeset | files |
| Wed, 25 Mar 2020 10:38:31 +0100 | Walther Neuper | remove unused field in Ctree | changeset | files |
| Wed, 25 Mar 2020 09:38:40 +0100 | Walther Neuper | cleanup LItool.resume_prog, cf.edf1643edde5 | changeset | files |
| Wed, 25 Mar 2020 09:17:05 +0100 | Walther Neuper | ONE tactic per step VISIBLE in calculation | changeset | files |
| Tue, 24 Mar 2020 17:01:02 +0100 | Walther Neuper | prep. ONE tactic per step VISIBLE in calculation | changeset | files |
| Mon, 23 Mar 2020 17:51:35 +0100 | Walther Neuper | make Check_elementwise' idle wrt. Calc.T | changeset | files |
| Mon, 23 Mar 2020 14:55:34 +0100 | Walther Neuper | start restructuring test/../isac/* | changeset | files |
| Mon, 23 Mar 2020 13:31:29 +0100 | Walther Neuper | separate structure Detail_Step | changeset | files |
| Fri, 20 Mar 2020 19:31:55 +0100 | Walther Neuper | collect code for by_tactic..Check_Postcond' | changeset | files |
| Wed, 18 Mar 2020 15:23:15 +0100 | Walther Neuper | prep. cleanup LItool.resume_prog | changeset | files |
| Wed, 18 Mar 2020 14:51:58 +0100 | Walther Neuper | reduce access to deprecated field in Ctree | changeset | files |
| Tue, 17 Mar 2020 16:11:18 +0100 | Walther Neuper | update TODO.thy according to last changeset | changeset | files |
| Tue, 17 Mar 2020 14:50:19 +0100 | Walther Neuper | clean ctxt handling: remove double insert_assumptions | changeset | files |
| Wed, 11 Mar 2020 15:25:52 +0100 | Walther Neuper | start formally checked documentation with Lucas_Interpreter | changeset | files |
| Tue, 10 Mar 2020 13:25:00 +0100 | Walther Neuper | tuned | changeset | files |
| Sat, 07 Mar 2020 18:44:31 +0100 | Walther Neuper | cleanup tac_from_prog, end | changeset | files |
| Sat, 07 Mar 2020 17:53:32 +0100 | Walther Neuper | prep. cleanup of tac_from_prog | changeset | files |