X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fsrc%2Ftoplevel%2FmetaBrg.mli;fp=helm%2Fsoftware%2Flambda-delta%2Fsrc%2Ftoplevel%2FmetaBrg.mli;h=0000000000000000000000000000000000000000;hb=d145ea48ed0bdb9642ced01283231f3f13d476b8;hp=4ce275fb84b024e9d29beaad2c6278e9893667f3;hpb=e7f64fe2cc67f3514131c8831f87311ff600d005;p=helm.git diff --git a/helm/software/lambda-delta/src/toplevel/metaBrg.mli b/helm/software/lambda-delta/src/toplevel/metaBrg.mli deleted file mode 100644 index 4ce275fb8..000000000 --- a/helm/software/lambda-delta/src/toplevel/metaBrg.mli +++ /dev/null @@ -1,12 +0,0 @@ -(* - ||M|| This file is part of HELM, an Hypertextual, Electronic - ||A|| Library of Mathematics, developed at the Computer Science - ||T|| Department, University of Bologna, Italy. - ||I|| - ||T|| HELM is free software; you can redistribute it and/or - ||A|| modify it under the terms of the GNU General Public License - \ / version 2 or (at your option) any later version. - \ / This software is distributed as is, NO WARRANTY. - V_______________________________________________________________ *) - -val brg_of_meta: (Brg.term -> 'a) -> Meta.entry -> 'a