Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. type variables in records are not schematic
Changeset 8053:da637b6636fe by lars hupel _lars.hupel@mytum.de_:
type variables in records are not schematic
The file was modified thys/Constructor_Funs/Test_Constructor_Funs.thy (diff)
The file was modified thys/Constructor_Funs/constructor_funs.ML (diff)