Thu, 03 Nov 2011 11:18:06 +0100 | huffman | ex/Tree23.thy: prove that insertion preserves tree balance and order | changeset | files |
Thu, 03 Nov 2011 18:10:47 +1100 | kleing | more IMP fragments | changeset | files |
Thu, 03 Nov 2011 18:10:13 +1100 | kleing | string -> vname | changeset | files |
Thu, 03 Nov 2011 16:22:29 +1100 | kleing | JMPF(LESS|GE) -> JMP(LESS|GE) because jumps are int now. | changeset | files |
Thu, 03 Nov 2011 15:54:19 +1100 | kleing | more IMP text fragments | changeset | files |
Thu, 03 Nov 2011 10:29:05 +1100 | kleing | moved latex generation for HOL-IMP out of distribution | changeset | files |