Restuructured Pron, which affected Quant and all the functions that use it.

2019-05-10 23:03:09 +02:00
parent 681e459d0b
commit 64f7bdb967
7 changed files with 618 additions and 135 deletions
@@ -1,6 +1,7 @@
 --# -path=.:../prelude:../abstract:../common

 concrete QuestionCgg of Question = CatCgg ** open ResCgg, Prelude in {
+--1 Question: Questions and Interrogative Pronouns

 {-
 --1 Question: Questions and Interrogative Pronouns