| author | paulson |
| Fri, 29 Mar 1996 13:19:01 +0100 | |
| changeset 1633 | 9cb70937b426 |
| parent 1266 | 3ae9fe3c0f68 |
| child 2031 | 03a843f0f447 |
| permissions | -rw-r--r-- |
goal String.thy "hd(''ABCD'') = CHR ''A''"; by(Simp_tac 1); result(); goal String.thy "hd(''ABCD'') ~= CHR ''B''"; by(Simp_tac 1); result(); goal String.thy "''ABCD'' ~= ''ABCX''"; by(Simp_tac 1); result(); goal String.thy "''ABCD'' = ''ABCD''"; by(Simp_tac 1); result(); goal String.thy "''ABCDEFGHIJKLMNOPQRSTUVWXYZ'' ~= ''ABCDEFGHIJKLMNOPQRSTUVWXY''"; by(Simp_tac 1); result();