Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. relaxed theory dependencies
Changeset 65813:bdd17b18e103 by haftmann:
relaxed theory dependencies
The file was modified src/HOL/Binomial.thy (diff)
The file was modified src/HOL/Factorial.thy (diff)
The file was modified src/HOL/Main.thy (diff)
The file was modified src/HOL/Pre_Main.thy (diff)