thys/README
2019-02-11 Christian Urban added partial derivative proof from Antimirov
2017-07-18 Christian Urban changed definitions of PRF
2017-02-26 Christian Urban updated
2016-05-18 Christian Urban updated
2016-02-05 Christian Urban started a paper and moved cruft to Attic
less more (0) tip