Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. renamed symbol
Changeset 7308:fbfbcd53d398 by blanchet:
renamed symbol
The file was modified thys/Lambda_Free_RPOs/Lambda_Free_RPO_New.thy (diff)
The file was modified thys/Lambda_Free_RPOs/Lambda_Free_RPO_Optim.thy (diff)
The file was modified thys/Lambda_Free_RPOs/Lambda_Free_Term.thy (diff)