Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. .hgignore
  2. re-established AFP entry for FinFuns as library
Changeset 7658:d0bd0f0fe3b2 by haftmann:
.hgignore
The file was modified .hgignore (diff)
Changeset 7657:f0def6ec9fc1 by haftmann:
re-established AFP entry for FinFuns as library
The file was modified thys/FinFun/FinFun.thy (diff)
The file was modified thys/FinFun/FinFunPred.thy (diff)
The file was modified thys/JinjaThreads/Basic/Auxiliary.thy (diff)
The file was modified thys/Nominal2/Nominal2_Base.thy (diff)
The file was modified thys/Nominal2/ROOT (diff)
The file was removedthys/FinFun/Card_Univ.thy