NameDateSize

..30-Oct-202010

Classical.thyH A D25-Jul-201922.8 KiB

document/H25-Jul-20193

Foundation.thyH A D25-Jul-20193.1 KiB

If.thyH A D25-Jul-20192.1 KiB

Intro.thyH A D25-Jul-20192.5 KiB

Intuitionistic.thyH A D25-Jul-201922 KiB

Locale_Test/H30-Oct-20206

Miniscope.thyH A D25-Jul-20193.2 KiB

Nat.thyH A D25-Jul-20192.1 KiB

Nat_Class.thyH A D25-Jul-20192.5 KiB

Natural_Numbers.thyH A D25-Jul-20192.1 KiB

Prolog.thyH A D25-Jul-20192.6 KiB

Propositional_Cla.thyH A D25-Jul-20195.3 KiB

Propositional_Int.thyH A D25-Jul-20196.1 KiB

Quantifiers_Cla.thyH A D25-Jul-20193.3 KiB

Quantifiers_Int.thyH A D25-Jul-20194 KiB