Made changes required by lock fields; not yet in Swedish and Finnish.

2026-07-03 04:18:33 -06:00 · 2003-11-12 12:22:53 +00:00
parent 54c72f5ab0
commit eb24522848
11 changed files with 93 additions and 74 deletions
@@ -1,5 +1,7 @@
+--# -path=.:../abstract:../../prelude
+
 concrete RestaurantEng of Restaurant = 
-  DatabaseEng ** open Prelude,Paradigms,DatabaseRes in {
+  DatabaseEng ** open Prelude,Paradigms,DatabaseEngRes in {

 lin 
  Restaurant = cnNonhuman "restaurant" ;