| author | wenzelm |
| Tue, 27 May 1997 15:45:07 +0200 | |
| changeset 3362 | 0b268cff9344 |
| parent 2031 | 03a843f0f447 |
| child 5069 | 3ea049f7979d |
| 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();