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