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
.
Nominal/Manual/Term4.thy
2010-05-17
Christian Urban
made this example to work again
file
|
diff
|
annotate
2010-05-13
Cezary Kaliszyk
Make Term4 use 'equivariance'.
file
|
diff
|
annotate
2010-05-12
Christian Urban
fixed the examples for the new eqvt-procedure....temporarily disabled Manual/Term4.thy
file
|
diff
|
annotate
2010-05-05
Cezary Kaliszyk
Some cleaning in Term4
file
|
diff
|
annotate
2010-05-04
Cezary Kaliszyk
Move Term4 to NewParser
file
|
diff
|
annotate
2010-05-04
Cezary Kaliszyk
Fix Term4 for permutation signature change
file
|
diff
|
annotate
2010-04-20
Cezary Kaliszyk
All lifted in Term4. Requires new isabelle.
file
|
diff
|
annotate
2010-04-16
Cezary Kaliszyk
Lifting in Term4.
file
|
diff
|
annotate
2010-04-15
Cezary Kaliszyk
More on Manual/Trm4
file
|
diff
|
annotate
2010-04-15
Cezary Kaliszyk
alpha4_equivp and constant lifting.
file
|
diff
|
annotate
2010-04-15
Cezary Kaliszyk
alpha4_eqvt and alpha4_reflp
file
|
diff
|
annotate
2010-04-15
Cezary Kaliszyk
fv_eqvt in term4
file
|
diff
|
annotate
2010-04-15
Cezary Kaliszyk
Updating in Term4.
file
|
diff
|
annotate
2010-04-15
Christian Urban
changed header
file
|
diff
|
annotate
2010-03-23
Cezary Kaliszyk
Move manual examples to a subdirectory.
file
|
diff
|
annotate
|
base
less
more
(0)
tip