svn: r4036
This commit is contained in:
Eli Barzilay 2006-08-12 05:22:55 +00:00
parent 9bdc6a8aba
commit 35893972e8

View File

@ -1501,7 +1501,8 @@ exec mred -u "$0" "$@"
-> {(* (+ 1 2) (+ 1 2))} -> {(* (+ 1 2) (+ 1 2))}
:: (* {(+ 1 2)} {(+ 1 2)}) :: (* {(+ 1 2)} {(+ 1 2)})
-> (* {3} {3}) -> (* {3} {3})
:: {9}) :: {(* 3 3)}
-> {9})
#; #;
(t1 teachpack-callbacks (t1 teachpack-callbacks