| 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 |
| Fri, 16 Mar 2012 14:46:13 +0100 | wenzelm | refute_params are given in *this* theory; | changeset | files |