Page MenuHomeIsabelle/Phabricator

kappelmann (Kevin Kappelmann)
User

Projects

User does not belong to any projects.

User Details

User Since
Sep 26 2019, 10:59 AM (235 w, 8 h)

Recent Activity

Mon, Mar 25

kappelmann committed rAFP21a01c3f98d1: merge.
merge
Mon, Mar 25, 10:50 AM
kappelmann committed rAFP401f381c1542: feat(Transport) major improvement of overloaded properties + new relational….
feat(Transport) major improvement of overloaded properties + new relational…
Mon, Mar 25, 10:50 AM
kappelmann committed rAFPe1dd89a2f035: feat(ML_Unification) add simplification+unification unifier; fix context merge….
feat(ML_Unification) add simplification+unification unifier; fix context merge…
Mon, Mar 25, 10:50 AM
kappelmann committed rAFP999b71d9f41d: fix(ML_Unification) replace binders before aeconv (avoids lowering).
fix(ML_Unification) replace binders before aeconv (avoids lowering)
Mon, Mar 25, 10:50 AM

Feb 1 2024

kappelmann committed rAFPce7602a023d2: feat(ML_Unification,Transport) more robust unification + new unifiers.
feat(ML_Unification,Transport) more robust unification + new unifiers
Feb 1 2024, 2:52 PM

Jan 20 2024

kappelmann committed rAFP4bf9d33ced3d: merge.
merge
Jan 20 2024, 9:34 PM
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 20 2024, 9:34 PM

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 7 2024, 2:55 PM

Jan 6 2024

kappelmann committed rAFPb93c29c6b301: feat(ML_Unification) more explanation.
feat(ML_Unification) more explanation
Jan 6 2024, 5:01 PM

Jan 5 2024

kappelmann committed rAFP1e9d0690e280: merge.
merge
Jan 5 2024, 9:43 AM
kappelmann committed rAFPeb74b5bcfc8c: feat(Transport) better relativised concept definitions and lemmas.
feat(Transport) better relativised concept definitions and lemmas
Jan 5 2024, 9:43 AM
kappelmann committed rAFP9412dd83073e: feat(ML_Unification) add recursive unification hints fallback option.
feat(ML_Unification) add recursive unification hints fallback option
Jan 5 2024, 9:43 AM

Nov 5 2023

kappelmann committed rAFP8851b1c659ca: merge.
merge
Nov 5 2023, 10:21 AM
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
Nov 5 2023, 10:21 AM

Oct 31 2023

kappelmann committed rAFP6271c50446bf: feat(ML_Unification) use fixed parser from Isabelle distro.
feat(ML_Unification) use fixed parser from Isabelle distro
Oct 31 2023, 4:17 PM

Oct 11 2023

kappelmann committed rAFP8fd56a4b09e6: fix(ML_Unification) remove temporary files.
fix(ML_Unification) remove temporary files
Oct 11 2023, 9:42 AM

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)
Sep 7 2023, 4:56 PM

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…
Dec 4 2021, 2:38 PM

Nov 15 2021

kappelmann committed rAFP30b2022b09f2: feat(SpecCheck/Show) add parentheses for option SOME case.
feat(SpecCheck/Show) add parentheses for option SOME case
Nov 15 2021, 1:00 PM

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 8 2021, 5:18 PM

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
Nov 4 2021, 11:00 AM

Sep 30 2021

kappelmann committed rAFP4ea18c203d18: feat(SpecCheck/Show) tune pretty printing for environments.
feat(SpecCheck/Show) tune pretty printing for environments
Sep 30 2021, 7:13 PM

Sep 27 2021

kappelmann committed rAFPf5b9195ac412: feat(SpecCheck) folder renaming, types for tests.
feat(SpecCheck) folder renaming, types for tests
Sep 27 2021, 7:13 PM

Aug 26 2021

kappelmann added a reverting change for rISABELLEd4af818e0880: Backed out changeset fe8d0f4da0e6: rISABELLEbf9871795aeb: Backed out changeset d4af818e0880.
Aug 26 2021, 1:42 PM
kappelmann committed rISABELLEbf9871795aeb: Backed out changeset d4af818e0880.
Backed out changeset d4af818e0880
Aug 26 2021, 1:42 PM

Jul 12 2021

kappelmann committed rAFP44953ff0d822: fix(Regex_Equivalence) update to new SpecCheck version.
fix(Regex_Equivalence) update to new SpecCheck version
Jul 12 2021, 7:59 PM

Jul 8 2021

kappelmann committed rISABELLEfe8d0f4da0e6: remove SpecCheck; it is now part of the AFP.
remove SpecCheck; it is now part of the AFP
Jul 8 2021, 11:01 PM