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 ExecutableRat.thy
authorhaftmann
Tue, 09 May 2006 10:13:09 +0200
changeset 19605 67e6b4759b37
parent 19604 02f5fbdd5c54
child 19606 01e23aa70d3a
added ExecutableRat.thy
src/HOL/Library/Library.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/Library.thy	Tue May 09 10:11:47 2006 +0200
+++ b/src/HOL/Library/Library.thy	Tue May 09 10:13:09 2006 +0200
@@ -5,6 +5,7 @@
   Continuity
   EfficientNat
   ExecutableSet
+  ExecutableRat
   FuncSet
   Multiset
   NatPair
isabelle