This repository has been archived on 2020-12-18. You can view files and clone it, but cannot push or open issues or pull requests.

Achim D. Brucker 989597fc9d Limit auto to first sub-goal ...		2020-04-16 12:18:57 +01:00
..
classes	Preparing AFP update.	2020-04-16 07:46:14 +01:00
pointers	Refactoring.	2020-04-04 20:17:01 +01:00
Core_DOM_Heap_WF.thy	Limit auto to first sub-goal ...	2020-04-16 12:18:57 +01:00