Skip to content
Success

Changes

Summary

  1. a missing lemma
Changeset 7305:67b9d59a8681 by blanchet:
a missing lemma
The file was modified thys/Lambda_Free_RPOs/Lambda_Free_Term.thy (diff)