Thu, 09 Apr 2020 17:13:17 +0200 | separate struct. UnparseC, shift code to ThmC | file | diff | annotate |
Wed, 08 Apr 2020 12:32:51 +0200 | use new struct "Rule_Set" for renaming identifiers | file | diff | annotate |
Wed, 18 Sep 2019 12:15:59 +0200 | tests run in Test_Isac with ML_system_64 = "true", still exception Size | file | diff | annotate |