src/Pure/library.ML

--- a/src/Pure/library.ML	Wed Jan 19 17:40:26 1994 +0100
+++ b/src/Pure/library.ML	Thu Jan 20 12:38:02 1994 +0100
@@ -288,12 +288,6 @@
 fun dec i = i := ! i - 1;
 
 
-fun square (n:int) = n * n;
-
-fun fact 0 = 1
-  | fact n = n * fact (n - 1);
-
-
 (* lists of integers *)
 
 (*make the list [from, from + 1, ..., to]*)