NameDateSize

..30-Nov-202094

ListExtras.MLH A D15-May-20202.1 KiB

MethodExtras.MLH A D09-Apr-2020511

mkterm_antiquote.MLH A D09-Apr-20206.2 KiB

MkTermAntiquote.thyH A D09-Apr-2020373

MkTermAntiquote_Tests.thyH A D09-Apr-20201.7 KiB

MLUtils.thyH A D09-Apr-2020783

OptionExtras.MLH A D09-Apr-2020525

StringExtras.MLH A D09-Apr-20201.2 KiB

Sum.MLH A D09-Apr-20201.1 KiB

TacticAntiquotation.thyH A D30-Oct-20202.3 KiB

TacticAntiquotation_Test.thyH A D30-Oct-20202.3 KiB

TacticTutorial.thyH A D09-Apr-202020.5 KiB

TermExtras.MLH A D09-Apr-20201.3 KiB

TermPatternAntiquote.thyH A D09-Apr-20202.7 KiB

TermPatternAntiquote_Tests.thyH A D09-Apr-20202 KiB

ThmExtras.MLH A D09-Apr-20204.1 KiB