# HG changeset patch # User HackBot # Date 1466072125 0 # Node ID 034314187eedd93a2550669356ca28803309509f # Parent f4b6c9a0de7815c3feddab6fc61aa353c87fa4cb ` mv wisdom/stepran{,s} diff -r f4b6c9a0de78 -r 034314187eed wisdom/stepran --- a/wisdom/stepran Thu Jun 16 09:47:15 2016 +0000 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,1 +0,0 @@ -A Steprans variable is a variable whose notation is variable. diff -r f4b6c9a0de78 -r 034314187eed wisdom/steprans --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/wisdom/steprans Thu Jun 16 10:15:25 2016 +0000 @@ -0,0 +1,1 @@ +A Steprans variable is a variable whose notation is variable.