| Wed, 19 Nov 2014 19:12:14 +0100 | traytel | more accurate lemma name | file | diff | annotate |
| Thu, 13 Nov 2014 17:19:52 +0100 | hoelzl | import general theorems from AFP/Markov_Models | file | diff | annotate |
| Sun, 02 Nov 2014 17:20:45 +0100 | wenzelm | modernized header; | file | diff | annotate |
| Mon, 20 Oct 2014 07:45:58 +0200 | haftmann | augmented and tuned facts on even/odd and division | file | diff | annotate |
| Tue, 07 Oct 2014 10:48:29 +0200 | hoelzl | move Stream theory from Datatype_Examples to Library | file | diff | annotate | base |