Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. make sure locales are instantiable
Changeset 7476:012088f330a5 by blanchet:
make sure locales are instantiable
The file was modified thys/Lambda_Free_KBOs/Lambda_Free_KBOs.thy (diff)
The file was modified thys/Lambda_Free_RPOs/Lambda_Free_RPOs.thy (diff)