| Wed, 19 Oct 2011 22:54:26 +0200 | haftmann | NEWS | file | diff | annotate |
| Wed, 19 Oct 2011 15:42:43 +0200 | wenzelm | inlined @{thms} (ML compile-time) allows to get rid of legacy zadd_ac as well (cf. 49e305100097); | file | diff | annotate |
| Wed, 19 Oct 2011 09:11:21 +0200 | bulwahn | NEWS | file | diff | annotate |
| Mon, 17 Oct 2011 14:22:14 +0200 | noschinl | (old) NEWS | file | diff | annotate |
| Fri, 14 Oct 2011 18:55:29 +0200 | haftmann | NEWS | file | diff | annotate |
| Thu, 13 Oct 2011 11:45:33 +0200 | wenzelm | discontinued obsolete 'types' command; | file | diff | annotate |
| Wed, 12 Oct 2011 16:21:07 +0200 | wenzelm | discontinued obsolete alias structure ProofContext; | file | diff | annotate |
| Sun, 09 Oct 2011 11:13:53 +0200 | huffman | Int.thy: discontinued some legacy theorems | file | diff | annotate |
| Mon, 26 Sep 2011 21:13:26 +0200 | wenzelm | back to post-release mode; | file | diff | annotate |
| Mon, 26 Sep 2011 21:09:28 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 26 Sep 2011 20:53:53 +0200 | wenzelm | misc tuning for release; | file | diff | annotate |
| Thu, 22 Sep 2011 14:12:16 -0700 | huffman | discontinued legacy theorem names from RealDef.thy | file | diff | annotate |
| Thu, 22 Sep 2011 12:55:19 -0700 | huffman | discontinued HOLCF legacy theorem names | file | diff | annotate |
| Thu, 22 Sep 2011 10:02:16 -0400 | hoelzl | NEWS: mention replacement lemmas for the removed ones in Complete_Lattices | file | diff | annotate |
| Wed, 21 Sep 2011 00:12:36 +0200 | nipkow | merged | file | diff | annotate |