| author | paulson |
| Fri, 17 Jul 1998 10:50:01 +0200 | |
| changeset 5154 | 40fd46f3d3a1 |
| parent 5121 | 5c1f89ae8aef |
| permissions | -rw-r--r-- |
Goal "hd(''ABCD'') = CHR ''A''"; by (Simp_tac 1); result(); Goal "hd(''ABCD'') ~= CHR ''B''"; by (Simp_tac 1); result(); Goal "''ABCD'' ~= ''ABCX''"; by (Simp_tac 1); result(); Goal "''ABCD'' = ''ABCD''"; by (Simp_tac 1); result(); Goal "''ABCDEFGHIJKLMNOPQRSTUVWXYZ'' ~= ''ABCDEFGHIJKLMNOPQRSTUVWXY''"; by (Simp_tac 1); result();