Skip to content
Failed

Changes

Summary

  1. merged
  2. renaming of theorems from the HOL libraries
Changeset 8425:cd292cbedcb9 by paulson:
merged
Changeset 8424:784daff44cb3 by paulson _lp15@cam.ac.uk_:
renaming of theorems from the HOL libraries
The file was modified thys/Coinductive/Examples/LList_CCPO_Topology.thy (diff)
The file was modified thys/Ordinary_Differential_Equations/ODE_Auxiliarities.thy (diff)