Hrv: marked missing functions needed for AW experiment

2022-09-29 10:42:36 +02:00
parent 235fd0570f
commit 5a6701cda8
10 changed files with 24 additions and 7 deletions
@@ -8,4 +8,8 @@ lin
  MkSymb s = s ;
  SymbPN s = lin PN {s = \\_ => s.s ; g = Neutr} ;

+--AW SymbolEng.IntPN
+--AW SymbolEng.SymbNum
+--AW SymbolicEng.mkSymb
+
 }