Skip to content
Success

Changes

Summary

  1. merged
  2. adapted to new simp rules
Changeset 8056:d94a4e25f566 by nipkow:
merged
Changeset 8055:80a3f9a99fdb by nipkow:
adapted to new simp rules
The file was modified thys/ConcurrentGC/StrongTricolour.thy (diff)