Mercurial
Mercurial
>
repos
>
isabelle
/ shortlog
summary
| shortlog |
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-10000
-3000
-1000
-300
-100
-14
+14
+100
+300
+1000
+3000
+10000
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
2005-06-18
wenzelm
tuned;
changeset
|
files
2005-06-18
wenzelm
tuned remove;
changeset
|
files
2005-06-18
wenzelm
added member;
changeset
|
files
2005-06-18
wenzelm
added Pure/General/ord_list.ML;
changeset
|
files
2005-06-18
wenzelm
Ordered lists without duplicates.
changeset
|
files
2005-06-17
huffman
fixrec shows unsolved subgoals when proofs of rewrites fail
changeset
|
files
2005-06-17
huffman
make match_rews into simp rules by default
changeset
|
files
2005-06-17
huffman
support theorem names and attributes for fixrec equations; also make them into simp rules by default, like primrec does
changeset
|
files
2005-06-17
huffman
added match functions for ONE, TT, and FF; added theorem mplus_fail2
changeset
|
files
2005-06-17
wenzelm
updated;
changeset
|
files
2005-06-17
wenzelm
accomodate change of TheoryDataFun;
changeset
|
files
2005-06-17
wenzelm
Context.names_of;
changeset
|
files
2005-06-17
wenzelm
* Pure/TheoryDataFun: change of the argument structure;
changeset
|
files
2005-06-17
wenzelm
Sign.root_path, Sign.local_path;
changeset
|
files
Loading...
(0)
-10000
-3000
-1000
-300
-100
-14
+14
+100
+300
+1000
+3000
+10000
+30000
tip