]>
matita.cs.unibo.it Git - helm.git/blobdiff - matita/matita/contribs/lambdadelta/bin/recomm/recommLexer.mll
let heads = [|
"Advanved";
"Basic";
let heads = [|
"Advanved";
"Basic";
"Forward";
"Destructions";
"Eliminations";
"Forward";
"Destructions";
"Eliminations";