Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. types to sets: initial commit
Changeset 64431:ae53f4d901a3 by kuncar:
types to sets: initial commit
The file was addedsrc/HOL/Library/Types_To_Sets.thy
The file was addedsrc/HOL/Library/Types_To_Sets/internalize_sort.ML
The file was addedsrc/HOL/Library/Types_To_Sets/local_typedef.ML
The file was addedsrc/HOL/Library/Types_To_Sets/unoverloading.ML
The file was modified src/HOL/ROOT (diff)