Wed, 26 Jun 2019 12:44:08 +0100 Chengsong added stackexchange url and contact details
Tue, 25 Jun 2019 23:59:10 +0100 Christian Urban another superflous file
Tue, 25 Jun 2019 23:38:02 +0100 Christian Urban deleted further generated files (including pdf)
Tue, 25 Jun 2019 22:43:21 +0100 Christian Urban deleted data-files and further unnecessary parts in data.sty
Tue, 25 Jun 2019 18:56:52 +0100 Chengsong hi
Wed, 08 May 2019 22:09:59 +0100 Chengsong new version of slides
Sun, 05 May 2019 22:02:29 +0100 Chengsong hello
Sat, 13 Apr 2019 16:18:23 +0100 Chengsong the property
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
Fri, 22 Mar 2019 12:53:56 +0000 Chengsong augmented version of proof sketch
Thu, 21 Mar 2019 13:26:07 +0000 Chengsong pf
(0) -14 +14 +100 tip