Parent Directory | Revision Log | Patch
revision 1.14 by pfdietz, Sat Feb 15 22:08:59 2003 UTC | revision 1.15 by pfdietz, Mon Feb 17 13:23:12 2003 UTC | |
---|---|---|
# | Line 118 | Line 118 |
118 | ||
119 | (deftest subtypep.and/or.1 | (deftest subtypep.and/or.1 |
120 | (check-equivalence | (check-equivalence |
121 | '(and (or symbol (integer 0 10)) | '(and (or symbol (integer 0 15)) |
122 | (or symbol (integer 15 25))) | (or symbol (integer 10 25))) |
123 | '(or symbol (integer 10 15))) | '(or symbol (integer 10 15))) |
124 | nil) | nil) |
125 |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |