aboutsummaryrefslogtreecommitdiff
path: root/.github/isabelle-action
diff options
context:
space:
mode:
authorJosh Chen2021-01-18 23:49:13 +0000
committerJosh Chen2021-01-18 23:49:13 +0000
commitf46df86db9308dde29e0e5f97f54546ea1dc34bf (patch)
treeb9523698c4ec81f3bba8f6b549d386505e345746 /.github/isabelle-action
parent3922e24270518be67192ad6928bb839132c74c07 (diff)
Swapped notation for metas (now ?) and holes (now {}), other notation and name changes.
Diffstat (limited to '.github/isabelle-action')
0 files changed, 0 insertions, 0 deletions