Mercurial
Mercurial
>
hg
>
nominal2
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
help
less
more
|
(0)
-300
-100
-60
+60
+100
+300
+1000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
various tunings; map_lookup now raises an exception; addition to FIXME-TODO
2009-12-19, by Christian Urban
minor cleaning
2009-12-17, by Christian Urban
moved the QuotMain code into two ML-files
2009-12-17, by Christian Urban
complete fix for IsaMakefile
2009-12-16, by Christian Urban
first fix
2009-12-16, by Christian Urban
merged
2009-12-16, by Christian Urban
added a paper for possible notes
2009-12-16, by Christian Urban
Removed lambdas on the right hand side. This fixes all 'PROBLEM' comments.
2009-12-16, by Cezary Kaliszyk
lambda_prs & solve_quotient_assum cleaned.
2009-12-15, by Cezary Kaliszyk
some commenting
2009-12-15, by Christian Urban
Fixed previous commit.
2009-12-14, by Cezary Kaliszyk
merge
2009-12-14, by Cezary Kaliszyk
Moved DETERM inside Repeat & added SOLVE around quotient_tac.
2009-12-14, by Cezary Kaliszyk
merge.
2009-12-14, by Cezary Kaliszyk
FIXME/TODO.
2009-12-14, by Cezary Kaliszyk
reply to question in code
2009-12-14, by Cezary Kaliszyk
Reply in code.
2009-12-14, by Cezary Kaliszyk
Replies to questions from the weekend: Uncommenting the renamed theorem commented out in 734.
2009-12-14, by Cezary Kaliszyk
a few code annotations
2009-12-13, by Christian Urban
another pass on apply_rsp
2009-12-13, by Christian Urban
managed to simplify apply_rsp
2009-12-13, by Christian Urban
tried to simplify apply_rsp_tac; failed at the moment; added some questions
2009-12-12, by Christian Urban
some trivial changes
2009-12-12, by Christian Urban
trivial cleaning of make_inst
2009-12-12, by Christian Urban
tried to improve test; but fails
2009-12-12, by Christian Urban
merged
2009-12-12, by Christian Urban
annotated some questions to the code; some simple changes
2009-12-12, by Christian Urban
Answering the question in code.
2009-12-12, by Cezary Kaliszyk
merged
2009-12-12, by Christian Urban
trivial
2009-12-12, by Christian Urban
tuned code
2009-12-12, by Christian Urban
Minor
2009-12-12, by Cezary Kaliszyk
Some proofs.
2009-12-12, by Cezary Kaliszyk
Proof of finite_set_storng_cases_raw.
2009-12-12, by Cezary Kaliszyk
A bracket was missing; with it proved the 'definitely false' lemma.
2009-12-12, by Cezary Kaliszyk
renamed quotient.ML to quotient_typ.ML
2009-12-12, by Christian Urban
merged
2009-12-11, by Christian Urban
tuned
2009-12-11, by Christian Urban
started to have a look at it; redefined the relation
2009-12-11, by Christian Urban
More name and indentation cleaning.
2009-12-11, by Cezary Kaliszyk
Merge + Added LarryInt & Fset3 to tests.
2009-12-11, by Cezary Kaliszyk
Renaming
2009-12-11, by Cezary Kaliszyk
merged
2009-12-11, by Christian Urban
deleted struct_match by Pattern.match (fixes a problem in LarryInt)
2009-12-11, by Christian Urban
FSet3 minor fixes + cases
2009-12-11, by Cezary Kaliszyk
added Int example from Larry
2009-12-11, by Christian Urban
Added FSet3 with a formalisation of finite sets based on Michael's one.
2009-12-11, by Cezary Kaliszyk
Updated TODO list together.
2009-12-11, by Cezary Kaliszyk
Merge
2009-12-11, by Cezary Kaliszyk
More theorem renaming.
2009-12-11, by Cezary Kaliszyk
Renamed theorems in IntEx2 to conform to names in Int.
2009-12-11, by Cezary Kaliszyk
Updated comments.
2009-12-11, by Cezary Kaliszyk
merged
2009-12-11, by Christian Urban
tuned
2009-12-11, by Christian Urban
renamed Larrys example
2009-12-11, by Christian Urban
New syntax for definitions.
2009-12-11, by Cezary Kaliszyk
changed error message
2009-12-11, by Christian Urban
reformulated the lemma lifting_procedure as ML value; gave better warning message for injection case
2009-12-11, by Christian Urban
slightly tuned
2009-12-10, by Christian Urban
merged
2009-12-10, by Christian Urban
less
more
|
(0)
-300
-100
-60
+60
+100
+300
+1000
tip