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.
removed whitespace
authoroheimb
Wed, 14 Feb 2001 20:45:35 +0100
changeset 11123 15ffc08f905e
parent 11122 0a258a048d8d
child 11124 5b97a468b46d
removed whitespace
src/HOL/Fun.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Fun.thy	Wed Feb 14 20:44:59 2001 +0100
+++ b/src/HOL/Fun.thy	Wed Feb 14 20:45:35 2001 +0100
@@ -42,7 +42,7 @@
 
   o  :: ['b => 'c, 'a => 'b, 'a] => 'c   (infixl 55)
     "f o g == %x. f(g(x))"
-  
+
   inv :: ('a => 'b) => ('b => 'a)
     "inv(f::'a=>'b) == % y. @x. f(x)=y"
isabelle