[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

resubmit question : string

I am sorry for this multiple question.

I have tried the example from Dave and Sam.
Unfortunetly, the proof sequence in dave mail (4 Nov 97)
or sam mail (4 Mar 96) stop when the string is
transform to list.
Seems that 'cons_lem' and 'char_lem' not recognized.

Am I missing something ? 
Kong Woei Susanto
Department of Computing Science - University of Glasgow
17 LilyBank Gardens, Glasgow G12 8RZ. 
Phone: +44-141-3304454  Fax: +44-141-3304913
e-mail: susanto@dcs.gla.ac.uk