summaryrefslogtreecommitdiff
path: root/lib/isabelle
ModeNameSize
-rw-r--r--.gitignore342logplain
-rw-r--r--Hoare.thy24569logplain
-rw-r--r--Makefile3157logplain
-rw-r--r--ROOT316logplain
-rw-r--r--Sail2_operators_mwords_lemmas.thy7279logplain
-rw-r--r--Sail2_prompt_monad_lemmas.thy16013logplain
-rw-r--r--Sail2_state_lemmas.thy24252logplain
-rw-r--r--Sail2_state_monad_lemmas.thy12100logplain
-rw-r--r--Sail2_values_lemmas.thy15491logplain
d---------document36logplain
d---------manual105logplain