Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. updated to setprod -> prod
Changeset 7212:9be7a2e5a72c by nipkow:
updated to setprod -> prod
The file was modified thys/CAVA_Automata/Automata.thy (diff)
The file was modified thys/IP_Addresses/Hs_Compat.thy (diff)
The file was modified thys/ROBDD/Middle_Impl.thy (diff)