Skip to content
Failed

Changes

Summary

  1. more documentation on "Conversions";
  2. tuned
Changeset 73592:c642c3cbbf0e by wenzelm:
more documentation on "Conversions";
The file was modified src/Doc/Implementation/Eq.thy (diff)
Changeset 73591:c1f8aaa13ee3 by nipkow:
tuned
The file was modified src/HOL/Data_Structures/RBT_Set2.thy (diff)