[r2002-10-10 09:11:23 by cvscast] Initial revision

Original author: cvscast Date: 2002-10-10 09:11:23+00:00

[r2002-10-10 09:11:23 by cvscast] Initial revision
Original author: cvscast Date: 2002-10-10 09:11:23+00:00
76e76753 · Pietro Abate · d5be1c60 · 76e76753 · 76e76753
Commit 76e76753 authored Jul 10, 2007 by Pietro Abate
--- a/types/recursive.ml
+++ b/types/recursive.ml
-(* $Id: recursive.ml,v 1.1.1.1 2002/10/10 09:11:23 cvscast Exp $ *)
+(* $Id: recursive.ml,v 1.1 2002/10/10 09:11:23 cvscast Exp $ *)

 exception NotEqual
 exception Incomplete

--- a/types/recursive.mli
+++ b/types/recursive.mli
-(* $Id: recursive.mli,v 1.1.1.1 2002/10/10 09:11:23 cvscast Exp $ *)
+(* $Id: recursive.mli,v 1.1 2002/10/10 09:11:23 cvscast Exp $ *)

 exception NotEqual
 exception Incomplete