| Sun, 12 Feb 2006 21:34:22 +0100 | wenzelm | structure Datatab: private copy avoids potential conflict of table exceptions; | changeset | files |
| Sun, 12 Feb 2006 21:34:21 +0100 | wenzelm | added eq_consts; | changeset | files |
| Sun, 12 Feb 2006 21:34:20 +0100 | wenzelm | minor tuning of proofs, notably induct; | changeset | files |
| Sun, 12 Feb 2006 21:34:18 +0100 | wenzelm | simplified TableFun.join; | changeset | files |
| Sun, 12 Feb 2006 20:32:59 +0100 | wenzelm | \usepackage{amssymb}; | changeset | files |
| Sun, 12 Feb 2006 12:29:01 +0100 | kleing | * include generalised MVT in HyperReal (contributed by Benjamin Porter) | changeset | files |
| Sun, 12 Feb 2006 10:42:19 +0100 | kleing | * moved ThreeDivides from Isar_examples to better suited HOL/ex | changeset | files |