| Thu, 09 Nov 2006 18:48:45 +0100 |
webertj |
interpreters for fst and snd added
|
changeset |
files
|
| Thu, 09 Nov 2006 16:14:43 +0100 |
webertj |
new CCS-based implementation that should work with PolyML 5.0
|
changeset |
files
|
| Thu, 09 Nov 2006 11:58:51 +0100 |
wenzelm |
HOL: less/less_eq on bool, modified syntax;
|
changeset |
files
|
| Thu, 09 Nov 2006 11:58:50 +0100 |
wenzelm |
removed obsolete locale_results;
|
changeset |
files
|
| Thu, 09 Nov 2006 11:58:49 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 09 Nov 2006 11:58:47 +0100 |
wenzelm |
imports Binimial;
|
changeset |
files
|
| Thu, 09 Nov 2006 11:58:45 +0100 |
wenzelm |
updated;
|
changeset |
files
|
| Thu, 09 Nov 2006 11:58:43 +0100 |
wenzelm |
lfp_induct_set;
|
changeset |
files
|
| Thu, 09 Nov 2006 11:58:13 +0100 |
wenzelm |
modified less/less_eq syntax to avoid "x < y < z" etc.;
|
changeset |
files
|
| Thu, 09 Nov 2006 00:43:12 +0100 |
huffman |
added lemma mult_mono'
|
changeset |
files
|
| Thu, 09 Nov 2006 00:19:16 +0100 |
huffman |
added LIM_norm and related lemmas
|
changeset |
files
|
| Wed, 08 Nov 2006 23:11:13 +0100 |
wenzelm |
moved theories Parity, GCD, Binomial to Library;
|
changeset |
files
|
| Wed, 08 Nov 2006 22:24:54 +0100 |
krauss |
added profiling code, improved handling of proof terms, generation of domain
|
changeset |
files
|
| Wed, 08 Nov 2006 21:45:15 +0100 |
wenzelm |
incorporated former theories Reconstruction and ResAtpMethods into ATP_Linkup;
|
changeset |
files
|