Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. minor typeclass generalisations and junk removal
Changeset 68051:68def9274939 by paulson:
merged
Changeset 68050:7eacc812ad1c by paulson _lp15@cam.ac.uk_:
minor typeclass generalisations and junk removal
The file was modified src/HOL/Analysis/Cartesian_Euclidean_Space.thy (diff)
The file was modified src/HOL/Analysis/Determinants.thy (diff)