This is the accompanying material for the paper

Isabelle Formalization of Set Theoretic Structures and Set Comprehensions

Cezary Kaliszyk and Karol Pąk

submitted to MACIS'2017:

The formalization is compatible with Isabelle 2016-1. 
Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[   ] macis2017.tgz           25-Aug-2017 03:20   85K
Apache/2.2.3 (Red Hat) Server at cl-informatik.uibk.ac.at Port 80