Fri, 12 Apr 2019 19:26:13 +0100 Chengsong test of
Wed, 10 Apr 2019 17:06:24 +0100 Chengsong removed C(c) The retrieve and code in the previous version is still not correct and will crash. no prob now.
Wed, 10 Apr 2019 16:34:34 +0100 Chengsong The C(Char) construct is incompatible with the code and retrieve in Fahad's thesis.
Sat, 23 Mar 2019 11:53:09 +0000 Chengsong exp and proof
(0) -10 -4 +4 +10 +30 +100 tip