Mercurial
Mercurial
>
hg
>
nominal2
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
-15
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Quot/quotient_term.ML
2010-01-21
Cezary Kaliszyk
Using Bexeq_rsp, and manually lifted lemma with Ex1.
file
|
diff
|
annotate
2010-01-21
Cezary Kaliszyk
Ex1 -> Bex1 Regularization, Preparing Exeq.
file
|
diff
|
annotate
2010-01-20
Cezary Kaliszyk
Better error messages for non matching quantifiers.
file
|
diff
|
annotate
2010-01-15
Cezary Kaliszyk
hom lifted to hom', so it is true. Infrastructure for partially regularized quantifiers. Nicer errors for regularize.
file
|
diff
|
annotate
2010-01-15
Christian Urban
slight tuning of relation_error
file
|
diff
|
annotate
2010-01-14
Cezary Kaliszyk
exported absrep_const for nitpick.
file
|
diff
|
annotate
2010-01-14
Cezary Kaliszyk
Simplified matches_typ.
file
|
diff
|
annotate
2010-01-13
Cezary Kaliszyk
Moved the matches_typ function outside a?d simplified it.
file
|
diff
|
annotate
2010-01-13
Cezary Kaliszyk
Put relation_error as a separate function.
file
|
diff
|
annotate
2010-01-13
Christian Urban
tuned
file
|
diff
|
annotate
2010-01-13
Christian Urban
merged
file
|
diff
|
annotate
2010-01-12
Christian Urban
absrep_fun and equiv_relation do not produce anymore spurious maps; two problems arose in IntEx, which are marked with "INJECTION PROBLEM"
file
|
diff
|
annotate
2010-01-12
Cezary Kaliszyk
More indenting, bracket removing and comment restructuring.
file
|
diff
|
annotate
2010-01-12
Cezary Kaliszyk
modifying comments/indentation in quotient_term.ml
file
|
diff
|
annotate
2010-01-11
Cezary Kaliszyk
removed quotdata_lookup_type
file
|
diff
|
annotate
less
more
(0)
-15
tip