equal
deleted
inserted
replaced
195 functors with support for mixed, nested recursion and interesting |
195 functors with support for mixed, nested recursion and interesting |
196 non-free datatypes. |
196 non-free datatypes. |
197 |
197 |
198 * HOL/Cardinals: Theories of ordinals and cardinals |
198 * HOL/Cardinals: Theories of ordinals and cardinals |
199 (supersedes the AFP entry "Ordinals_and_Cardinals"). |
199 (supersedes the AFP entry "Ordinals_and_Cardinals"). |
|
200 |
|
201 * Library/Countable_Set.thy: Theory of countable sets. |
200 |
202 |
201 * Library/Debug.thy and Library/Parallel.thy: debugging and parallel |
203 * Library/Debug.thy and Library/Parallel.thy: debugging and parallel |
202 execution for code generated towards Isabelle/ML. |
204 execution for code generated towards Isabelle/ML. |
203 |
205 |
204 * Library/FuncSet.thy: Extended support for Pi and extensional and introduce the |
206 * Library/FuncSet.thy: Extended support for Pi and extensional and introduce the |