https://cflmark.nms.kcl.ac.uk/hg/lexing/ en-us lexing: Literature/LINKS history Literature/LINKS revision history updated https://cflmark.nms.kcl.ac.uk/hg/lexing/log/7ac7782a7318/Literature/LINKS Christian Urban <christian dot urban at kcl dot ac dot uk> Thu, 17 Dec 2015 13:14:36 +0000 updated the Isabelle theories with the totality proof https://cflmark.nms.kcl.ac.uk/hg/lexing/log/279d0bc48308/Literature/LINKS Christian Urban <christian dot urban at kcl dot ac dot uk> Mon, 08 Jun 2015 14:37:19 +0100