-(* Copyright (C) 2000, HELM Team.
+/* Copyright (C) 2000, HELM Team.
*
* This file is part of HELM, an Hypertextual, Electronic
* Library of Mathematics, developed at the Computer Science
*
* For details, see the HELM World-Wide-Web page,
* http://cs.unibo.it/helm/.
- *)
+ */
%{
open Cic;;