| Fri, 16 Mar 2012 16:29:28 +0000 | paulson | Structured transfinite induction proofs | changeset | files |
| Fri, 16 Mar 2012 15:51:53 +0100 | huffman | make more word theorems respect int/bin distinction | changeset | files |
| Fri, 16 Mar 2012 18:20:12 +0100 | wenzelm | outer syntax command definitions based on formal command_spec derived from theory header declarations; | changeset | files |