| Wed, 23 Jan 2019 17:54:50 +0000 |
haftmann |
combinator to lift local theory update to theory update
|
changeset |
files
|
| Thu, 24 Jan 2019 02:47:52 +0000 |
Angeliki KoutsoukouArgyraki |
merged
|
changeset |
files
|
| Thu, 24 Jan 2019 00:28:29 +0000 |
Angeliki KoutsoukouArgyraki |
tagged 5 theories
|
changeset |
files
|
| Wed, 23 Jan 2019 23:12:40 +0100 |
wenzelm |
obsolete -- updated in Poly/ML;
|
changeset |
files
|
| Wed, 23 Jan 2019 23:07:21 +0100 |
wenzelm |
updated to polyml-test-a444f281ccec;
|
changeset |
files
|
| Wed, 23 Jan 2019 21:05:33 +0100 |
wenzelm |
prefer x86_64_32 over x86;
|
changeset |
files
|
| Wed, 23 Jan 2019 20:45:03 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Wed, 23 Jan 2019 20:27:00 +0100 |
wenzelm |
updated x86_64-linux base line;
|
changeset |
files
|
| Wed, 23 Jan 2019 17:20:35 +0100 |
blanchet |
fixed me -- indeed this was wrong, as demonstrated by the predicate-free HO output (e.g. ehoh with keep_lams)
|
changeset |
files
|
| Wed, 23 Jan 2019 03:29:34 +0000 |
Angeliki KoutsoukouArgyraki |
tagged 2 theories ie Cartesian_Euclidean_Space Cartesian_Space
|
changeset |
files
|
| Tue, 22 Jan 2019 22:57:16 +0000 |
Angeliki KoutsoukouArgyraki |
minor tagging updates in 13 theories
|
changeset |
files
|
| Tue, 22 Jan 2019 21:16:48 +0000 |
Angeliki KoutsoukouArgyraki |
merged
|
changeset |
files
|
| Tue, 22 Jan 2019 21:13:23 +0000 |
Angeliki KoutsoukouArgyraki |
redid tagging for 3 theories i.e. Determinants, Change_of_Vars, Finite_Cartesian_Product
|
changeset |
files
|
| Tue, 22 Jan 2019 19:36:17 +0100 |
wenzelm |
Backed out changeset 1bc422c08209 -- obsolete in AFP/5d11846ac6ab;
|
changeset |
files
|
| Tue, 22 Jan 2019 17:57:19 +0100 |
blanchet |
really keep lambdas in translation if only predicates are missing
|
changeset |
files
|
| Tue, 22 Jan 2019 17:22:09 +0100 |
blanchet |
tune ATP settings
|
changeset |
files
|