| Tue, 22 Mar 2016 13:32:40 +0100 |
blanchet |
compile
|
changeset |
files
|
| Tue, 22 Mar 2016 12:39:37 +0100 |
blanchet |
added 'corec' examples and tests
|
changeset |
files
|
| Tue, 22 Mar 2016 12:39:37 +0100 |
blanchet |
file header
|
changeset |
files
|
| Tue, 22 Mar 2016 12:39:37 +0100 |
blanchet |
added two 'corec' examples
|
changeset |
files
|
| Tue, 22 Mar 2016 12:39:37 +0100 |
blanchet |
document addition of 'corec'
|
changeset |
files
|
| Tue, 22 Mar 2016 12:39:37 +0100 |
blanchet |
moved 'corec' from ssh://hg@bitbucket.org/jasmin_blanchette/nonprim-corec to Isabelle
|
changeset |
files
|
| Tue, 22 Mar 2016 12:39:37 +0100 |
blanchet |
put all 'bnf_*.ML' files together, irrespective of bootstrapping/dependency constraints
|
changeset |
files
|
| Tue, 22 Mar 2016 08:00:33 +0100 |
blanchet |
nicer error
|
changeset |
files
|
| Tue, 22 Mar 2016 08:00:15 +0100 |
blanchet |
more debugging
|
changeset |
files
|
| Tue, 22 Mar 2016 07:57:02 +0100 |
blanchet |
more general, reliable N2M
|
changeset |
files
|
| Tue, 22 Mar 2016 07:57:02 +0100 |
blanchet |
better warning, with definitions in right order
|
changeset |
files
|
| Tue, 22 Mar 2016 07:57:02 +0100 |
blanchet |
export ML function
|
changeset |
files
|
| Tue, 22 Mar 2016 07:57:01 +0100 |
blanchet |
added timers to N2M
|
changeset |
files
|
| Tue, 22 Mar 2016 07:18:36 +0100 |
traytel |
document that n2m does not depend on most things in fp_sugar in its type
|
changeset |
files
|
| Mon, 21 Mar 2016 21:18:08 +0100 |
wenzelm |
clarified rule structure;
|
changeset |
files
|