Skip to content
Success

Changes

Summary

  1. generalized lemma
Changeset 7283:481517770f3e by blanchet:
generalized lemma
The file was modified thys/Lambda_Free_RPOs/Lambda_Free_Util.thy (diff)