Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Nominal/Nominal.thy
changeset 22511 ca326e0fb5c5
parent 22500 8436bfd21bf3
child 22514 4dfa84906915 
--- 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