3 Commits

Author	SHA1	Message	Date
Vitor Santos Costa	eed3eded82	remove some old SWI code (unused).	2010-08-06 22:48:54 +01:00
Vitor Santos Costa	fcbd2b34fe	fix missing !	2010-08-06 01:18:58 +01:00
Vitor Santos Costa	e4a76d7f1e	add coinduction.yap code.	2010-08-06 00:58:11 +01:00