2013-05-09 | Christian Urban |
added lemmas about a pairing function | file | diff | annotate |
2013-02-21 | Christian Urban |
renamed sete definition to adjust and old special case of adjust to adjust0 | file | diff | annotate |
2013-02-12 | Christian Urban |
small changes | file | diff | annotate |
2013-02-10 | Christian Urban |
changed theory names to uppercase | file | diff | annotate | base |