/Inductive.hs/1.2/Wed Feb  2 23:23:35 2005//
D
