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 Permutation;
authorwenzelm
Sun, 04 Feb 2001 19:43:15 +0100
changeset 11055 b84dd2c25a1c
parent 11054 a5404c70982f
child 11056 32a98609ce92
added Permutation;
src/HOL/Library/Library.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/Library.thy	Sun Feb 04 19:42:54 2001 +0100
+++ b/src/HOL/Library/Library.thy	Sun Feb 04 19:43:15 2001 +0100
@@ -7,6 +7,7 @@
   Nested_Environment +
   Accessible_Part +
   Multiset +
+  Permutation +
   While_Combinator:
 end
 (*>*)
isabelle