]> matita.cs.unibo.it Git - helm.git/blob - components/syntax_extensions/test.ml
unified: some theorems on Lift started
[helm.git] / components / syntax_extensions / test.ml
1 (* $Id$ *)
2
3 prerr_endline <:unicode<lambda>>