Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. update metadata
  2. add formalisation of lifting with combinators
Changeset 6401:eef7af6af2ce by Andreas Lochbihler:
update metadata
The file was modified metadata/metadata (diff)
Changeset 6400:97f4459c699f by Andreas Lochbihler:
add formalisation of lifting with combinators
The file was addedthys/Applicative_Lifting/Combinators.thy
The file was modified thys/Applicative_Lifting/Applicative_Star.thy (diff)
The file was modified thys/Applicative_Lifting/Beta_Eta.thy (diff)
The file was modified thys/Applicative_Lifting/Idiomatic_Terms.thy (diff)
The file was modified thys/Applicative_Lifting/Joinable.thy (diff)
The file was modified thys/Applicative_Lifting/ROOT (diff)
The file was modified thys/Applicative_Lifting/document/root.tex (diff)