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/Terms.thy
2010-02-03
Cezary Kaliszyk
Minor fix.
file
|
diff
|
annotate
2010-02-03
Cezary Kaliszyk
merge
file
|
diff
|
annotate
2010-02-03
Cezary Kaliszyk
alpha5 pseudo-injective
file
|
diff
|
annotate
2010-02-03
Christian Urban
fixed proofs in Abs.thy
file
|
diff
|
annotate
2010-02-03
Cezary Kaliszyk
The alpha-equivalence relation for let-rec. Not sure if correct...
file
|
diff
|
annotate
2010-02-03
Cezary Kaliszyk
Starting with a let-rec example.
file
|
diff
|
annotate
2010-02-03
Cezary Kaliszyk
Some cleaning and eqvt proof
file
|
diff
|
annotate
2010-02-03
Cezary Kaliszyk
The trm1_support lemma explicitly and stated a strong induction principle.
file
|
diff
|
annotate
2010-02-03
Cezary Kaliszyk
More ingredients in Terms.
file
|
diff
|
annotate
2010-02-02
Cezary Kaliszyk
Finished the supp_fv proof; first proof that analyses the structure of 'Let' :)
file
|
diff
|
annotate
2010-02-02
Cezary Kaliszyk
More in Terms
file
|
diff
|
annotate
2010-02-02
Cezary Kaliszyk
First experiments in Terms.
file
|
diff
|
annotate
2010-01-28
Christian Urban
minor
file
|
diff
|
annotate
2010-01-27
Christian Urban
completely ported
file
|
diff
|
annotate
2010-01-27
Christian Urban
mostly ported Terms.thy to new Nominal
file
|
diff
|
annotate
less
more
(0)
tip