Mercurial
Mercurial
>
hg
>
nominal2
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
-100
-12
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
QuotMain.thy
2009-10-17
Cezary Kaliszyk
Fully manually instantiated. Still fails...
file
|
diff
|
annotate
2009-10-17
Cezary Kaliszyk
Little progress with match/instantiate
file
|
diff
|
annotate
2009-10-16
Cezary Kaliszyk
Fighting with the instantiation
file
|
diff
|
annotate
2009-10-16
Cezary Kaliszyk
Symmetric version of REP_ABS_RSP
file
|
diff
|
annotate
2009-10-16
Cezary Kaliszyk
Progressing with the proof
file
|
diff
|
annotate
2009-10-16
Cezary Kaliszyk
Finally fix get_fun.
file
|
diff
|
annotate
2009-10-16
Cezary Kaliszyk
A fix for one fun_map; doesn't work for more.
file
|
diff
|
annotate
2009-10-16
Christian Urban
fixed the problem with function types; but only type_of works; cterm_of does not work
file
|
diff
|
annotate
2009-10-15
Cezary Kaliszyk
Description of the problem with get_fun.
file
|
diff
|
annotate
2009-10-15
Cezary Kaliszyk
A proper build_goal_term function.
file
|
diff
|
annotate
2009-10-15
Cezary Kaliszyk
Cleaning the code
file
|
diff
|
annotate
2009-10-15
Cezary Kaliszyk
Merged
file
|
diff
|
annotate
less
more
(0)
-100
-12
tip