| Mon, 19 Jul 2021 18:29:46 +0200 |
cleanup after "eliminate ThmC.numerals_to_Free"
|
file | diff | annotate |
| Sun, 18 Jul 2021 21:15:21 +0200 |
Test_Isac_Short.thy, Test_Some.the work on new src, new TOODOOs
|
file | diff | annotate |
| Sun, 18 Jul 2021 18:30:09 +0200 |
Test_Isac_Short.thy works again (ndefined ML antiquotation: "rule_thm_sym", "rule_thm")
|
file | diff | annotate |
| Sun, 18 Jul 2021 18:15:27 +0200 |
merged
|
file | diff | annotate |
| Tue, 01 Jun 2021 15:41:23 +0200 |
Test_Some.thy with looping ML<>
|
file | diff | annotate |
| Sat, 12 Jun 2021 14:29:10 +0200 |
ML antiquotations for Rule.Thm, with special treatment of symmetric rule;
|
file | diff | annotate |
| Sun, 18 Apr 2021 22:27:43 +0200 |
retain thm name_hint: more close imitation of former oracles (amending 07bf9c88f2c3, afcde49beb65);
|
file | diff | annotate |
| Sun, 18 Apr 2021 18:56:43 +0200 |
2 broken tests in Test_Some.thy, thus Test_Isac_Short.thy ok
|
file | diff | annotate |
| Sun, 18 Apr 2021 15:19:32 +0200 |
shift test without correction of error
|
file | diff | annotate |
| Fri, 10 Apr 2020 15:02:50 +0200 |
rename directory CalcElements to BaseDefinitions
|
file | diff | annotate |
| Fri, 10 Apr 2020 14:46:55 +0200 |
rearrange code for ThmC
|
file | diff | annotate |