| Thu, 13 Nov 2014 17:19:52 +0100 | hoelzl | import general theorems from AFP/Markov_Models | changeset | files |
| Thu, 13 Nov 2014 23:45:15 +0100 | wenzelm | uniform treatment of all document markup commands: 'text' and 'txt' merely differ in LaTeX style; | changeset | files |
| Thu, 13 Nov 2014 17:28:11 +0100 | blanchet | tuning | changeset | files |
| Thu, 13 Nov 2014 14:40:06 +0100 | traytel | merged | changeset | files |
| Thu, 13 Nov 2014 14:14:13 +0100 | traytel | do not introduce consts too early unnecessarily | changeset | files |
| Thu, 13 Nov 2014 12:35:55 +0100 | nipkow | added lemma | changeset | files |
| Wed, 12 Nov 2014 19:30:56 +0100 | wenzelm | merged | changeset | files |