Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /MLRISC/trunk/graphs/closed-semi-ring.sig
ViewVC logotype

Diff of /MLRISC/trunk/graphs/closed-semi-ring.sig

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 245, Sat Apr 17 18:47:12 1999 UTC revision 411, Fri Sep 3 00:25:03 1999 UTC
# Line 1  Line 1 
1    (*
2     * Signature of a closed semi ring.  A closed semi ring has the
3     * closure operation (star)
4     *
5     * -- Allen
6     *)
7    
8  signature CLOSED_SEMI_RING =  signature CLOSED_SEMI_RING =
9  sig  sig
10    
# Line 11  Line 18 
18    
19  end  end
20    
 (*  
  * $Log$  
  *)  

Legend:
Removed from v.245  
changed lines
  Added in v.411

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0