Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added the permutation operation on options to the list of equivariance lemmas
authorurbanc
Fri, 23 Mar 2007 10:50:03 +0100
changeset 22511 ca326e0fb5c5
parent 22510 d28409741406
child 22512 04242efdcece
added the permutation operation on options to the list of equivariance lemmas
src/HOL/Nominal/Nominal.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Nominal/Nominal.thy	Fri Mar 23 09:46:22 2007 +0100
+++ b/src/HOL/Nominal/Nominal.thy	Fri Mar 23 10:50:03 2007 +0100
@@ -3152,6 +3152,7 @@
   perm_list.simps append_eqvt
   perm_prod.simps
   fst_eqvt snd_eqvt
+  perm_option.simps
 
   (* nats *)
   Suc_eqvt Zero_nat_eqvt One_nat_eqvt min_nat_eqvt max_nat_eqvt
isabelle