author | oheimb |
Thu, 01 Feb 2001 20:51:48 +0100 | |
changeset 11025 | a70b796d9af8 |
parent 8035 | 84c5ce912b43 |
permissions | -rw-r--r-- |
Goal "hd(''ABCD'') = CHR ''A''"; by (Simp_tac 1); qed ""; Goal "hd(''ABCD'') ~= CHR ''B''"; by (Simp_tac 1); qed ""; Goal "''ABCD'' ~= ''ABCX''"; by (Simp_tac 1); qed ""; Goal "''ABCD'' = ''ABCD''"; by (Simp_tac 1); qed ""; Goal "''ABCDEFGHIJKLMNOPQRSTUVWXYZ'' ~= ''ABCDEFGHIJKLMNOPQRSTUVWXY''"; by (Simp_tac 1); qed "";