/ex1.frag/1.2/Mon Nov  6 08:11:25 2006//
/ex2.frag/1.3/Thu Nov 16 02:52:42 2006//
/list_traversal.hoare/1.3/Fri Nov 24 05:10:49 2006//
/reverse_list.hoare/1.1/Thu Nov 16 02:52:42 2006//
/append.hoare/1.4/Mon Dec 11 00:35:12 2006//
/insert.hoare/1.4/Wed Dec 13 11:08:14 2006//
D
