From cd673c287c1499a8ca28d3519dcf237492ebea1c Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 17 Jul 2008 08:38:12 +0000
Subject: 	* input/pat.input.pamphlet (square): Define square an
 operatpr.

---
 src/input/pat.input.pamphlet | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/input')

diff --git a/src/input/pat.input.pamphlet b/src/input/pat.input.pamphlet
index 2f6535ba..53ff68ca 100644
--- a/src/input/pat.input.pamphlet
+++ b/src/input/pat.input.pamphlet
@@ -14,6 +14,7 @@
 -- Input for page PatternMatching
 )clear all
 
+square := operator 'square
 rule square(x) == x*x
 fact(n | n > 0) == n * fact(n - 1)
 fact(0) == 1
-- 
cgit v1.2.3