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 OptionalSugar
authornipkow
Wed, 26 Jan 2005 16:39:44 +0100
changeset 15470 7e12ad2f6672
parent 15469 f5d22f504ab9
child 15471 e7f069887ec2
added OptionalSugar
src/HOL/Library/Library.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/Library.thy	Wed Jan 26 13:50:59 2005 +0100
+++ b/src/HOL/Library/Library.thy	Wed Jan 26 16:39:44 2005 +0100
@@ -10,6 +10,7 @@
   NatPair
   Nat_Infinity
   Nested_Environment
+  OptionalSugar
   Permutation
   Primes
   Quotient
isabelle