demo restaurant info

This commit is contained in:
aarne
2007-10-12 13:46:57 +00:00
parent 8b74ec7958
commit 2a382c427c
11 changed files with 116 additions and 0 deletions

View File

@@ -0,0 +1,5 @@
--# -path=.:present:prelude
concrete RestaurantFin of Restaurant = RestaurantI with
(Syntax = SyntaxFin),
(LexRestaurant = LexRestaurantFin) ;