| Thu, 03 Nov 2011 22:51:37 +0100 | wenzelm | tuned signature; | changeset | files |
| Thu, 03 Nov 2011 22:23:41 +0100 | wenzelm | tuned signature -- canonical argument order; | changeset | files |
| Thu, 03 Nov 2011 22:15:47 +0100 | wenzelm | tuned -- Variable.declare_term is already part of Variable.auto_fixes; | changeset | files |
| Thu, 03 Nov 2011 11:18:06 +0100 | huffman | ex/Tree23.thy: prove that insertion preserves tree balance and order | changeset | files |