https://cflmark.nms.kcl.ac.uk/hg/lexing/ en-us lexing: thys/README history thys/README revision history added partial derivative proof from Antimirov https://cflmark.nms.kcl.ac.uk/hg/lexing/log/496a37d816e9/thys/README Christian Urban <urbanc@in.tum.de> Mon, 11 Feb 2019 14:36:23 +0000 changed definitions of PRF https://cflmark.nms.kcl.ac.uk/hg/lexing/log/d36be1e356c0/thys/README Christian Urban <urbanc@in.tum.de> Tue, 18 Jul 2017 18:39:20 +0100 updated https://cflmark.nms.kcl.ac.uk/hg/lexing/log/16af5b8bd285/thys/README Christian Urban <urbanc@in.tum.de> Sun, 26 Feb 2017 23:46:22 +0000 updated https://cflmark.nms.kcl.ac.uk/hg/lexing/log/841f7b9c0a6a/thys/README Christian Urban <christian dot urban at kcl dot ac dot uk> Wed, 18 May 2016 15:57:46 +0100 started a paper and moved cruft to Attic https://cflmark.nms.kcl.ac.uk/hg/lexing/log/a33d3040bf7e/thys/README Christian Urban <christian dot urban at kcl dot ac dot uk> Fri, 05 Feb 2016 10:16:10 +0000