NameDateSize

..07-Jul-20209

folCanonScript.smlH A D24-Aug-201928.2 KiB

folLangScript.smlH A D18-Aug-201913.8 KiB

folModelsScript.smlH A D15-Aug-201910.1 KiB

folPrenexScript.smlH A D09-Apr-202019.7 KiB

folPropScript.smlH A D15-Aug-201910.7 KiB

folSkolemScript.smlH A D15-Aug-201932 KiB

READMEH A D15-Aug-2019283

README

1This material is a port of HOL Light material made available in commit
2
3   https://github.com/jrh13/hol-light/commit/013324af7ff715346383fb963d323138
4
5and described in John Harrison's paper ���Formalizing Basic First Order
6Model Theory��� from TPHOLs 1998 (DOI: 10.1007/BFb0055135).
7