Skip to content
Failed

Changes

Summary

  1. Bell_Numbers_Spivey: build on HOL-Library, rationalise ROOT
Changeset 6585:397663e5327d by kleing:
Bell_Numbers_Spivey: build on HOL-Library, rationalise ROOT
The file was modified thys/Bell_Numbers_Spivey/ROOT (diff)