Added initial support for inversion principles in Matita NG.

[helm.git] / helm / software / components / library / cicRecord.mli

diff --git a/helm/software/components/library/cicRecord.mli b/helm/software/components/library/cicRecord.mli
index b966f317ca3a951a1a4125a76a431f4bb7c18527..de361cc7c5afcaf241b3a8125ccf6f929daac226 100644 (file)
--- a/helm/software/components/library/cicRecord.mli
+++ b/helm/software/components/library/cicRecord.mli
@@ -23,6 +23,4 @@
  * http://helm.cs.unibo.it/
  *)
 
-(** projections_of [uri] returns uri * name * term *)    
-val projections_of:
- UriManager.uri -> string list -> (UriManager.uri * string * Cic.term) list
+val init : unit -> unit