- Queries
- All Stories
- Search
- Advanced Search
- Transactions
- Transaction Logs
Feed Advanced Search
Advanced Search
Advanced Search
Mon, Mar 25
Mon, Mar 25
kappelmann committed rAFP401f381c1542: feat(Transport) major improvement of overloaded properties + new relational….
feat(Transport) major improvement of overloaded properties + new relational…
kappelmann committed rAFPe1dd89a2f035: feat(ML_Unification) add simplification+unification unifier; fix context merge….
feat(ML_Unification) add simplification+unification unifier; fix context merge…
kappelmann committed rAFP999b71d9f41d: fix(ML_Unification) replace binders before aeconv (avoids lowering).
fix(ML_Unification) replace binders before aeconv (avoids lowering)
Feb 1 2024
Feb 1 2024
kappelmann committed rAFPce7602a023d2: feat(ML_Unification,Transport) more robust unification + new unifiers.
feat(ML_Unification,Transport) more robust unification + new unifiers
Jan 20 2024
Jan 20 2024
kappelmann committed rAFP0ef06b1fd5fe: feat(ML_Unification) fix exceptions and improve experience wrt. flex-flex….
feat(ML_Unification) fix exceptions and improve experience wrt. flex-flex…
Jan 7 2024
Jan 7 2024
kappelmann committed rAFP0b447dd0606c: fix(ML_Unification) use cartouches to fix document build error.
fix(ML_Unification) use cartouches to fix document build error
Jan 6 2024
Jan 6 2024
feat(ML_Unification) more explanation
Jan 5 2024
Jan 5 2024
kappelmann committed rAFPeb74b5bcfc8c: feat(Transport) better relativised concept definitions and lemmas.
feat(Transport) better relativised concept definitions and lemmas
kappelmann committed rAFP9412dd83073e: feat(ML_Unification) add recursive unification hints fallback option.
feat(ML_Unification) add recursive unification hints fallback option
Nov 5 2023
Nov 5 2023
kappelmann committed rAFP39db4e35d484: fix(ML_Unification/Parsing) change map_safe type to return an option.
fix(ML_Unification/Parsing) change map_safe type to return an option
Oct 31 2023
Oct 31 2023
feat(ML_Unification) use fixed parser from Isabelle distro
Oct 11 2023
Oct 11 2023
fix(ML_Unification) remove temporary files
Sep 7 2023
Sep 7 2023
kappelmann committed rISABELLE3c57995c255c: allow higher-order unification of open terms (reviewed by Larry Paulson).
allow higher-order unification of open terms (reviewed by Larry Paulson)
Dec 4 2021
Dec 4 2021
kappelmann committed rAFP5a8b07a912c1: feat(Auto2_HOL) fix setup such that auto2 can be used by other object logics….
feat(Auto2_HOL) fix setup such that auto2 can be used by other object logics…
Nov 15 2021
Nov 15 2021
feat(SpecCheck/Show) add parentheses for option SOME case
Nov 8 2021
Nov 8 2021
kappelmann committed rAFP6b07f915b460: feat(SpecCheck) add better unit tests facilities, examples and exceptions….
feat(SpecCheck) add better unit tests facilities, examples and exceptions…
Nov 4 2021
Nov 4 2021
kappelmann committed rAFPb9fadc5d34c4: feat(SpecCheck) add possibility to make builds fail on failure and extend README.
feat(SpecCheck) add possibility to make builds fail on failure and extend README
Sep 30 2021
Sep 30 2021
feat(SpecCheck/Show) tune pretty printing for environments
Sep 27 2021
Sep 27 2021
feat(SpecCheck) folder renaming, types for tests
Aug 26 2021
Aug 26 2021
kappelmann added a reverting change for rISABELLEd4af818e0880: Backed out changeset fe8d0f4da0e6: rISABELLEbf9871795aeb: Backed out changeset d4af818e0880.
Backed out changeset d4af818e0880
Jul 12 2021
Jul 12 2021
fix(Regex_Equivalence) update to new SpecCheck version
Jul 8 2021
Jul 8 2021
remove SpecCheck; it is now part of the AFP