Mercurial
Mercurial
>
hg
>
nominal2
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
-100
-15
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
QuotMain.thy
2009-11-25
Cezary Kaliszyk
Removed unused things from QuotMain.
file
|
diff
|
annotate
2009-11-25
Cezary Kaliszyk
lambda_prs and cleaning the existing examples.
file
|
diff
|
annotate
2009-11-25
Christian Urban
fixed the problem with generalising variables; at the moment it is quite a hack
file
|
diff
|
annotate
2009-11-24
Christian Urban
changed unification to matching
file
|
diff
|
annotate
2009-11-24
Christian Urban
unification
file
|
diff
|
annotate
2009-11-24
Cezary Kaliszyk
Lambda & SOLVED' for new quotient_tac
file
|
diff
|
annotate
2009-11-24
Christian Urban
merged
file
|
diff
|
annotate
2009-11-24
Christian Urban
merged
file
|
diff
|
annotate
2009-11-24
Christian Urban
use error instead of raising our own exception
file
|
diff
|
annotate
2009-11-24
Cezary Kaliszyk
Fixes to the tactic after quotient_tac changed.
file
|
diff
|
annotate
2009-11-24
Christian Urban
merged
file
|
diff
|
annotate
2009-11-24
Christian Urban
added a prepare_tac
file
|
diff
|
annotate
2009-11-24
Cezary Kaliszyk
TRY' for clean_tac
file
|
diff
|
annotate
2009-11-24
Cezary Kaliszyk
Moved cleaning to QuotMain
file
|
diff
|
annotate
2009-11-24
Cezary Kaliszyk
New cleaning tactic
file
|
diff
|
annotate
less
more
(0)
-100
-15
tip