Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more explicit infixl (see initial 1edf0f223c6e); clarified name;
  2. clarified use of vec type syntax;
Changeset 67732:39d80006fc29 by wenzelm:
more explicit infixl (see initial 1edf0f223c6e);<br>clarified name;
The file was modified src/HOL/Analysis/Finite_Cartesian_Product.thy (diff)
Changeset 67731:184c293f0a33 by wenzelm:
clarified use of vec type syntax;
The file was modified src/HOL/Analysis/Cartesian_Euclidean_Space.thy (diff)
The file was modified src/HOL/Analysis/Finite_Cartesian_Product.thy (diff)