| author | wenzelm |
| Fri, 28 May 1999 17:59:22 +0200 | |
| changeset 6747 | cee5adcc1f5c |
| parent 5278 | a903b66822e2 |
| child 8035 | 84c5ce912b43 |
| 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();