| Tue, 27 Jul 1999 10:29:46 +0200 | paulson | tidied | changeset | files |
| Mon, 26 Jul 1999 16:32:23 +0200 | paulson | expandshort | changeset | files |
| Mon, 26 Jul 1999 16:30:50 +0200 | paulson | HOL/ex/Tarski: new example by Florian Kammueller | changeset | files |
| Mon, 26 Jul 1999 16:29:59 +0200 | paulson | new facts about binomials | changeset | files |
| Mon, 26 Jul 1999 16:29:38 +0200 | paulson | three new theorems | changeset | files |
| Mon, 26 Jul 1999 16:08:15 +0200 | paulson | new cancellation laws | changeset | files |
| Mon, 26 Jul 1999 10:34:54 +0200 | paulson | tidied | changeset | files |
| Fri, 23 Jul 1999 17:49:35 +0200 | paulson | new simprocs assoc_fold and combine_coeff | changeset | files |
| Fri, 23 Jul 1999 17:31:51 +0200 | paulson | removed the combine_coeff simproc because linear arith does not handle | changeset | files |
| Fri, 23 Jul 1999 17:30:27 +0200 | paulson | now using correctly-typed constants from HOLogic | changeset | files |
| Fri, 23 Jul 1999 17:29:12 +0200 | paulson | heavily revised by Jacques: coercions have alphabetic names; | changeset | files |
| Fri, 23 Jul 1999 17:28:18 +0200 | paulson | because intT is now defined in HOLogic | changeset | files |
| Fri, 23 Jul 1999 17:27:48 +0200 | paulson | zmult_ac are no longer included by default | changeset | files |
| Fri, 23 Jul 1999 17:27:12 +0200 | paulson | zadd_ac and zmult_ac are no longer included by default | changeset | files |
| Fri, 23 Jul 1999 17:25:27 +0200 | paulson | added boolean and binary constants | changeset | files |
| Fri, 23 Jul 1999 17:24:48 +0200 | paulson | new simprocs assoc_fold and combine_coeff | changeset | files |
| Fri, 23 Jul 1999 16:54:28 +0200 | wenzelm | rail -a; | changeset | files |
| Fri, 23 Jul 1999 16:52:45 +0200 | wenzelm | tuned add_term_varnames; | changeset | files |
| Fri, 23 Jul 1999 16:51:52 +0200 | wenzelm | replaced assoc lists by Symtab.table; | changeset | files |
| Fri, 23 Jul 1999 16:51:25 +0200 | wenzelm | Type.norm_term; | changeset | files |
| Fri, 23 Jul 1999 16:50:55 +0200 | wenzelm | replace assoc lists by Symtab.table; | changeset | files |
| Fri, 23 Jul 1999 16:50:20 +0200 | wenzelm | require_thy: fixed performance leak; | changeset | files |
| Fri, 23 Jul 1999 14:05:50 +0200 | wenzelm | fix occurences of numerals in HOL/ZF terms; | changeset | files |
| Fri, 23 Jul 1999 12:10:42 +0200 | nipkow | New lemmas by Stefan Merz. | changeset | files |
| Thu, 22 Jul 1999 20:53:54 +0200 | wenzelm | avoid '(0 subgoals)'; | changeset | files |
| Thu, 22 Jul 1999 20:53:26 +0200 | wenzelm | Toplevel.excursion_error; | changeset | files |
| Thu, 22 Jul 1999 20:52:58 +0200 | wenzelm | added exists; | changeset | files |
| Thu, 22 Jul 1999 16:54:33 +0200 | berghofe | Tuned. | changeset | files |