Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. experimental tool to extract entry dependencies using Isabelle/Scala
  2. tuned
  3. tuned
Changeset 8208:253ece3eb509 by lars hupel _lars.hupel@mytum.de_:
experimental tool to extract entry dependencies using Isabelle/Scala
The file was addedtools/afp_dependencies.scala
Changeset 8207:0ff9a43de876 by lars hupel _lars.hupel@mytum.de_:
tuned
The file was modified tools/afp_check_roots.scala (diff)
Changeset 8206:5a2978df3b5c by lars hupel _lars.hupel@mytum.de_:
tuned
The file was modified thys/Decl_Sem_Fun_PL/ROOT (diff)