Mercurial
Mercurial
>
hg
>
nominal2
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Quot/Nominal/Fv.thy
2010-02-23
Cezary Kaliszyk
Minor beutification.
file
|
diff
|
annotate
2010-02-23
Cezary Kaliszyk
Fixes for auxiliary datatypes.
file
|
diff
|
annotate
2010-02-22
Cezary Kaliszyk
Fixed pseudo_injectivity for trm4
file
|
diff
|
annotate
2010-02-22
Cezary Kaliszyk
Testing auto equivp code.
file
|
diff
|
annotate
2010-02-22
Cezary Kaliszyk
A tactic for final equivp
file
|
diff
|
annotate
2010-02-22
Cezary Kaliszyk
More equivp infrastructure.
file
|
diff
|
annotate
2010-02-22
Cezary Kaliszyk
Some progress about transp
file
|
diff
|
annotate
2010-02-22
Cezary Kaliszyk
alpha-symmetric addons.
file
|
diff
|
annotate
2010-02-22
Cezary Kaliszyk
alpha reflexivity
file
|
diff
|
annotate
2010-02-22
Cezary Kaliszyk
Renaming.
file
|
diff
|
annotate
2010-02-19
Cezary Kaliszyk
Automatic production and proving of pseudo-injectivity.
file
|
diff
|
annotate
2010-02-19
Cezary Kaliszyk
Constructing alpha_inj goal.
file
|
diff
|
annotate
2010-02-18
Cezary Kaliszyk
Full alpha equivalence + testing in terms. Some differ but it seems the generated version is more correct.
file
|
diff
|
annotate
2010-02-18
Cezary Kaliszyk
First (non-working) version of alpha-equivalence
file
|
diff
|
annotate
2010-02-18
Cezary Kaliszyk
Description of the fv procedure.
file
|
diff
|
annotate
2010-02-18
Cezary Kaliszyk
Code for handling atom sets.
file
|
diff
|
annotate
2010-02-17
Cezary Kaliszyk
Testing Fv
file
|
diff
|
annotate
2010-02-17
Cezary Kaliszyk
Reorder
file
|
diff
|
annotate
2010-02-17
Cezary Kaliszyk
Add bindings of recursive types by free_variables.
file
|
diff
|
annotate
2010-02-17
Cezary Kaliszyk
Bindings adapted to multiple defined datatypes.
file
|
diff
|
annotate
2010-02-17
Cezary Kaliszyk
Reorganization
file
|
diff
|
annotate
2010-02-17
Cezary Kaliszyk
Now should work.
file
|
diff
|
annotate
2010-02-17
Cezary Kaliszyk
Some optimizations and fixes.
file
|
diff
|
annotate
2010-02-17
Cezary Kaliszyk
Simplified format of bindings.
file
|
diff
|
annotate
2010-02-17
Cezary Kaliszyk
Description of intended bindings.
file
|
diff
|
annotate
2010-02-17
Cezary Kaliszyk
Code for generating the fv function, no bindings yet.
file
|
diff
|
annotate
less
more
(0)
tip