From 3b507dd1aa286684543a35cc7da763feebf9aa8d Mon Sep 17 00:00:00 2001 From: Damien Doligez Date: Wed, 27 Jul 2011 14:17:02 +0000 Subject: renaming of Objective Caml to OCaml and cleanup of copyright headers git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11156 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 --- camlp4/examples/lambda_parser.ml | 14 ++++++++++++++ 1 file changed, 14 insertions(+) (limited to 'camlp4/examples/lambda_parser.ml') diff --git a/camlp4/examples/lambda_parser.ml b/camlp4/examples/lambda_parser.ml index 9c7097679..82ab3b8b5 100644 --- a/camlp4/examples/lambda_parser.ml +++ b/camlp4/examples/lambda_parser.ml @@ -1,3 +1,17 @@ +(****************************************************************************) +(* *) +(* OCaml *) +(* *) +(* INRIA Rocquencourt *) +(* *) +(* Copyright 2008 Institut National de Recherche en Informatique et *) +(* en Automatique. All rights reserved. This file is distributed under *) +(* the terms of the GNU Library General Public License, with the special *) +(* exception on linking described in LICENSE at the top of the OCaml *) +(* source tree. *) +(* *) +(****************************************************************************) + (* Please keep me in sync with brion.inria.fr/gallium/index.php/Lambda_calculus_quotations *) type term = -- cgit v1.2.3-70-g09d2