Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
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.
clarified modules;
4 months ago, by wenzelm
more scalable operations;
4 months ago, by wenzelm
more scalable operations;
4 months ago, by wenzelm
tuned;
4 months ago, by wenzelm
clarified modules;
4 months ago, by wenzelm
clarified signature;
4 months ago, by wenzelm
more scalable operations;
4 months ago, by wenzelm
unused;
4 months ago, by wenzelm
more efficient operations: traverse hyps only when required;
4 months ago, by wenzelm
more robust signature: result has no particular order;
4 months ago, by wenzelm
more scalable operations;
4 months ago, by wenzelm
unused;
4 months ago, by wenzelm
more scalable operations;
4 months ago, by wenzelm
clarified;
4 months ago, by wenzelm
tuned signature;
4 months ago, by wenzelm
clarified signature;
4 months ago, by wenzelm
more scalable operations;
4 months ago, by wenzelm
clarified signature;
4 months ago, by wenzelm
tuned signature;
4 months ago, by wenzelm
more scalable operations;
4 months ago, by wenzelm
more scalable operations;
4 months ago, by wenzelm
more scalable operations;
4 months ago, by wenzelm
more scalable operations;
4 months ago, by wenzelm
white space
4 months ago, by paulson
merged
4 months ago, by paulson
some fixes connected with card_Diff_singleton
4 months ago, by paulson
strengthened a few lemmas about finite sets and added a code equation for complex_of_real
4 months ago, by paulson
tuned;
4 months ago, by wenzelm
proper inst table;
4 months ago, by wenzelm
more scalable data structure (but: rarely used many arguments);
4 months ago, by wenzelm
minor performance tuning: fewer allocations;
4 months ago, by wenzelm
tuned;
4 months ago, by wenzelm
more Isabelle/Haskell operations;
5 months ago, by wenzelm
more Isabelle/Haskell operations;
5 months ago, by wenzelm
avoid change of existing file, notably rebuild via ghc_stack;
5 months ago, by wenzelm
tuned signature;
5 months ago, by wenzelm
more Isabelle/Haskell operations;
5 months ago, by wenzelm
clarified process description;
5 months ago, by wenzelm
more Isabelle/Haskell operations;
5 months ago, by wenzelm
clarified signature;
5 months ago, by wenzelm
more Isabelle/Haskell;
5 months ago, by wenzelm
made sure lambda-lifting works well with native let binders in Sledgehammer
5 months ago, by blanchet
handle Zipperposition's ResourceOut gracefully
5 months ago, by blanchet
disabled 'ite' in Zipperposition until we upgrade to a version of Zip that supports it and we generate the proper syntax
5 months ago, by blanchet
proper test for type constructor;
5 months ago, by wenzelm
more Isabelle/Haskell operations;
5 months ago, by wenzelm
more Isabelle/Haskell operations;
5 months ago, by wenzelm
merged
5 months ago, by wenzelm
tuned;
5 months ago, by wenzelm
more scalable data structure (but: rarely used with > 5 arguments);
5 months ago, by wenzelm
Backed out changeset d4af818e0880
5 months ago, by Kevin Kappelmann
merged
5 months ago, by wenzelm
more Isabelle/Haskell operations;
5 months ago, by wenzelm
more Isabelle/Haskell operations;
5 months ago, by wenzelm
tuned;
5 months ago, by wenzelm
more Isabelle/Haskell operations;
5 months ago, by wenzelm
reflect moved theories
5 months ago, by nipkow
unhide canonical function def examples
5 months ago, by nipkow
merged
5 months ago, by nipkow
merged
5 months ago, by nipkow
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
tip