added Construction for 'five inch nail' in Eng,Ger,Fin from the Dresden team at the summer school

This commit is contained in:
Aarne Ranta
2018-12-03 17:27:59 +02:00
parent e66c27a4da
commit 994e0482bc
4 changed files with 7 additions and 3 deletions

View File

@@ -39,6 +39,7 @@ fun
n_units_AP : Card -> CN -> A -> AP ; -- x inches long
n_units_of_NP : Card -> CN -> NP -> NP ; -- x ounces of this flour
n_unit_CN : Card -> CN -> CN -> CN ; -- x gallon bottle
-- containers