You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
At the moment we have one corollary [code_unfold] in Partitions.thy, but it's not really useful. This is because all_partitions and all_partitions_alg return different types ('a set set set vs. 'a set list list) and therefore are not exactly interchangeable, and thus not subject to automatic rewriting by the code generator.
The text was updated successfully, but these errors were encountered:
At the moment we have one
corollary [code_unfold]
in Partitions.thy, but it's not really useful. This is becauseall_partitions
andall_partitions_alg
return different types ('a set set set
vs.'a set list list
) and therefore are not exactly interchangeable, and thus not subject to automatic rewriting by the code generator.The text was updated successfully, but these errors were encountered: