|
|
|---|
|
|
|
|---|
A theory of all rules exported DISABLEd by the "array1" book.
Note that in order for these rules to be applicable you will first need to disable array1-functions. Look at the :DOC for each lemma for an explanation of why the lemma is exported DISABLEd.