- Queries
- All Stories
- Search
- Advanced Search
- Transactions
- Transaction Logs
Feed All Stories
All Stories
All Stories
Sep 7 2021
Sep 7 2021
more scalable operations;
more scalable operations;
clarified signature;
more scalable operations;
makarius committed rISABELLEeb265f54e3ce: more efficient operations: traverse hyps only when required;.
more efficient operations: traverse hyps only when required;
more robust signature: result has no particular order;
more scalable operations;
more scalable operations;
more scalable operations;
clarified signature;
clarified signature;
more scalable operations;
more scalable operations;
more scalable operations;
more scalable operations;
Sep 4 2021
Sep 4 2021
sterraf committed rAFPef19e4e58b8c: synthesized formulas have their variables permuted.
synthesized formulas have their variables permuted
paulson <lp15@cam.ac.uk> committed rAFP4e16e45730a4: fixes for cardinality lemmas.
fixes for cardinality lemmas
paulson <lp15@cam.ac.uk> committed rISABELLE38c01d7e9f5b: white space.
white space
paulson <lp15@cam.ac.uk> committed rISABELLE527088d4a89b: strengthened a few lemmas about finite sets and added a code equation for….
strengthened a few lemmas about finite sets and added a code equation for…
paulson <lp15@cam.ac.uk> committed rISABELLEe04ec2b9ed97: some fixes connected with card_Diff_singleton.
some fixes connected with card_Diff_singleton
Sep 3 2021
Sep 3 2021
makarius committed rISABELLEc49134ee16c1: more scalable data structure (but: rarely used many arguments);.
more scalable data structure (but: rarely used many arguments);
minor performance tuning: fewer allocations;
Aug 31 2021
Aug 31 2021
Aug 30 2021
Aug 30 2021
more Isabelle/Haskell operations;
more Isabelle/Haskell operations;
makarius committed rISABELLE7515abfe18cf: avoid change of existing file, notably rebuild via ghc_stack;.
avoid change of existing file, notably rebuild via ghc_stack;
Aug 29 2021
Aug 29 2021
more Isabelle/Haskell operations;
clarified process description;
Aug 28 2021
Aug 28 2021
more Isabelle/Haskell operations;
clarified signature;
Aug 27 2021
Aug 27 2021
more Isabelle/Haskell;
blanchette committed rISABELLE1a8d8dd77513: made sure lambda-lifting works well with native let binders in Sledgehammer.
made sure lambda-lifting works well with native let binders in Sledgehammer
Pasquale Noce <pasquale.noce@hidglobal.com> committed rAFP80d141ead0ab: Graphic rendering of Relational_Method PDF files refined..
Graphic rendering of Relational_Method PDF files refined.
handle Zipperposition's ResourceOut gracefully
blanchette committed rISABELLE9c6159cbf9ee: disabled 'ite' in Zipperposition until we upgrade to a version of Zip that….
disabled 'ite' in Zipperposition until we upgrade to a version of Zip that…
Pasquale Noce <pasquale.noce@hidglobal.com> committed rAFP5fa903cd1a85: Entry Relational_Method updated..
Entry Relational_Method updated.
Aug 26 2021
Aug 26 2021
proper test for type constructor;
more Isabelle/Haskell operations;
more Isabelle/Haskell operations;
makarius committed rISABELLE17090e27aae9: more scalable data structure (but: rarely used with > 5 arguments);.
more scalable data structure (but: rarely used with > 5 arguments);
kappelmann added a reverting change for rISABELLEd4af818e0880: Backed out changeset fe8d0f4da0e6: rISABELLEbf9871795aeb: Backed out changeset d4af818e0880.
Backed out changeset d4af818e0880
more realistic timeout;
Aug 25 2021
Aug 25 2021
more Isabelle/Haskell operations;
more Isabelle/Haskell operations;
more Isabelle/Haskell operations;
nipkow committed rISABELLE852df4f1dbfa: unhide canonical function def examples.
unhide canonical function def examples
nipkow committed rISABELLE2b00c267196e: reflect moved theories.
reflect moved theories
nipkow committed rISABELLEd4af818e0880: Backed out changeset fe8d0f4da0e6.
Backed out changeset fe8d0f4da0e6
nipkow added a reverting change for rISABELLEfe8d0f4da0e6: remove SpecCheck; it is now part of the AFP: rISABELLEd4af818e0880: Backed out changeset fe8d0f4da0e6.
more Isabelle/Haskell operations;
Aug 24 2021
Aug 24 2021
more Isabelle/Haskell operations;
more Isabelle/Haskell operations;
more Isabelle/Haskell operations;
clarified signature;
minor performance tuning;
clarified signature;
Aug 23 2021
Aug 23 2021
follow Isabelle/53e28c438f96;
treat Symbol.eof as in ML (but: presently unused);
minor performance tuning;
clarified signature, following Isabelle/a3b0fc510705;
proper Isabelle symbol positions;
clarified signature;
more Haskell operations;
clarified signature;
Aug 22 2021
Aug 22 2021
tuned signature: prefer existing Haskell operations;
more Haskell operations;