Fri, 26 Oct 2018 14:11:59 +0200 | nipkow | more combinatorics lemmas | file | diff | annotate |
Wed, 17 Oct 2018 07:50:46 +0200 | nipkow | more intuitive and simpler (but slower) proofs | file | diff | annotate |
Sun, 07 Oct 2018 16:28:38 +0200 | nipkow | added Braun_Tree.thy | file | diff | annotate |