Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. use partition_on from HOL-Library (Isabelle/56f03591898b)
Changeset 6607:098794b6b671 by hoelzl:
use partition_on from HOL-Library (Isabelle/56f03591898b)
The file was modified thys/Bell_Numbers_Spivey/Bell_Numbers.thy (diff)
The file was modified thys/Bell_Numbers_Spivey/Set_Partition.thy (diff)
The file was modified thys/Card_Partitions/Card_Partitions.thy (diff)