structure document for 1.0

This commit is contained in:
aarne
2006-01-18 18:19:33 +00:00
parent 399e92c8f7
commit ecce36b777
40 changed files with 455 additions and 114 deletions

View File

@@ -129,6 +129,7 @@ lin
open_V2 = dirV2 (regV "open") ;
paint_V2A = mkV2A (regV "paint") [] ;
paper_N = regN "paper" ;
paris_PN = regPN "Paris" nonhuman ;
peace_N = regN "peace" ;
pen_N = regN "pen" ;
planet_N = regN "planet" ;