]>
git.saurik.com Git - bison.git/blobdiff - tests/sets.at
e
FDERIVES
$axiom derives
e
FDERIVES
$axiom derives
- 1 e $
- 2 'e'
- 3 /* empty */
+ 0 e $
+ 1 'e'
+ 2 /* empty */
exp
FDERIVES
$axiom derives
exp
FDERIVES
$axiom derives
- 1 exp $
- 2 exp '<' exp
- 3 exp '>' exp
- 4 exp '+' exp
- 5 exp '-' exp
- 6 exp '^' exp
- 7 exp '=' exp
- 8 "exp"
+ 0 exp $
+ 1 exp '<' exp
+ 2 exp '>' exp
+ 3 exp '+' exp
+ 4 exp '-' exp
+ 5 exp '^' exp
+ 6 exp '=' exp
+ 7 "exp"
- 2 exp '<' exp
- 3 exp '>' exp
- 4 exp '+' exp
- 5 exp '-' exp
- 6 exp '^' exp
- 7 exp '=' exp
- 8 "exp"
+ 1 exp '<' exp
+ 2 exp '>' exp
+ 3 exp '+' exp
+ 4 exp '-' exp
+ 5 exp '^' exp
+ 6 exp '=' exp
+ 7 "exp"