David Given 9e2d45b301 Rename all files called 'aux.*' to something else; Windows can't handle them.		2019-02-09 00:02:41 +01:00
..
cf.c	ego now builds and is used.	2016-08-21 22:01:19 +02:00
cf.h
cf_idom.c	Header --> Id	1994-06-24 11:31:16 +00:00
cf_idom.h	Header --> Id	1994-06-24 11:31:16 +00:00
cf_loop.c	Rename all files called 'aux.*' to something else; Windows can't handle them.	2019-02-09 00:02:41 +01:00
cf_loop.h
cf_succ.c
cf_succ.h	Header --> Id	1994-06-24 11:31:16 +00:00