equal
deleted
inserted
replaced
140 order of type variables. Potential INCOMPATIBILITY for tools working |
140 order of type variables. Potential INCOMPATIBILITY for tools working |
141 with proof terms. |
141 with proof terms. |
142 |
142 |
143 |
143 |
144 *** HOL *** |
144 *** HOL *** |
|
145 |
|
146 * List membership infix mem operation is only an input abbreviation. |
|
147 INCOMPATIBILITY. |
145 |
148 |
146 * Theory Library/Word.thy has been removed. Use library Word/Word.thy for |
149 * Theory Library/Word.thy has been removed. Use library Word/Word.thy for |
147 future developements; former Library/Word.thy is still present in the AFP |
150 future developements; former Library/Word.thy is still present in the AFP |
148 entry RSAPPS. |
151 entry RSAPPS. |
149 |
152 |