Walther Neuper <walther.neuper@jku.at> [Fri, 10 Apr 2020 14:46:55 +0200] rev 59865
rearrange code for ThmC
Walther Neuper <walther.neuper@jku.at> [Fri, 10 Apr 2020 12:28:47 +0200] rev 59864
rearrange code in Rule_Set and Rule, finished
Walther Neuper <walther.neuper@jku.at> [Thu, 09 Apr 2020 18:21:09 +0200] rev 59863
rearrange code in Rule_Set and Rule
note: mutual recursion inhibits nice separation. ThyC and ThmC are involved, too.
Walther Neuper <walther.neuper@jku.at> [Thu, 09 Apr 2020 17:16:48 +0200] rev 59862
shift code to ThyC
Walther Neuper <walther.neuper@jku.at> [Thu, 09 Apr 2020 17:13:17 +0200] rev 59861
separate struct. UnparseC, shift code to ThmC
Walther Neuper <walther.neuper@jku.at> [Thu, 09 Apr 2020 12:03:14 +0200] rev 59860
add test files according to new struct.s
Walther Neuper <walther.neuper@jku.at> [Thu, 09 Apr 2020 11:30:58 +0200] rev 59859
rename file according to previous change set
Walther Neuper <walther.neuper@jku.at> [Thu, 09 Apr 2020 11:21:53 +0200] rev 59858
separate struct. ThmC, Error_Fill_Def; unite error-pattern and fill-pattern
Walther Neuper <walther.neuper@jku.at> [Wed, 08 Apr 2020 16:56:47 +0200] rev 59857
separate struct Rewrite_Ord
Walther Neuper <walther.neuper@jku.at> [Wed, 08 Apr 2020 15:50:03 +0200] rev 59856
tuned