44 Commits (master)
 

Author SHA1 Message Date
Achim D. Brucker b8df20bd53 Import of AFP for Isabelle 2021. 8 months ago
Achim D. Brucker 85f894937e Improved markdown. 1 year ago
Achim D. Brucker 921e2eb4e3 Improved/updated installation instructions. 1 year ago
Achim D. Brucker deb7b457b7 Migration to Isabelle 2020. 1 year ago
Achim D. Brucker ea91410aec Import of official AFP entry for Isabelle 2019. 2 years ago
Achim D. Brucker fe59480469 Fixed build instructions. 2 years ago
Achim D. Brucker 79b475a21f Initial commit. 3 years ago
Achim D. Brucker 5e96945e92 Renamed session to avoid conflict with activated AFP. 3 years ago
Achim D. Brucker dcc6ae26ab Updated installation instructions for Isabelle 2018. 3 years ago
Achim D. Brucker cb4f1d2a2f Added citation information for AFP entry. 3 years ago
Achim D. Brucker 60415c8f6f Import of official AFP entry for Isabelle 2018. 3 years ago
Achim D. Brucker 28e090fdde Fixed markdown. 3 years ago
Achim D. Brucker 11e1ae9122 Merge branch 'master' of logicalhacking.com:afp-mirror/UPF_Firewall 3 years ago
Achim D. Brucker d4aadfafdb Added master repository URL. 3 years ago
Achim D. Brucker 192df4f574 Added SPDX License Identifier. 3 years ago
Achim D. Brucker 5853d96133 Fixed markdown. 3 years ago
Achim D. Brucker 69180f70a7 Fixed typo. 4 years ago
Achim D. Brucker 56bee1c2c4 Import of current (Isabelle 2017) release of UPF_Firewall. 4 years ago
Achim D. Brucker 494cd44eaf Update to match official afp entry. 5 years ago
Achim D. Brucker 963252949e Renaming to match offical naming of afp entry. 5 years ago
Achim D. Brucker 77ae1276d8 Updated name after afp acceptance. 5 years ago
Achim D. Brucker 93bb823f90 Removed references to system generated names. 5 years ago
Achim D. Brucker 3b6e93906b Added STVR article. 5 years ago
Achim D. Brucker da2138aa59 Restructured file layout to match afp default. 5 years ago
Achim D. Brucker 17e0bd6e7e Updated setup to match AFP in-situ setup. 5 years ago
Achim D. Brucker 5d71be04f7 Added HOL-TestGen reference. 5 years ago
Achim D. Brucker 73bc5df9fc Added introduction. 5 years ago
Achim D. Brucker 722ca30ad4 Removed outdated citations. 5 years ago
Achim D. Brucker dcc46bdad0 Fixed theory hierachy and includes. 5 years ago
Achim D. Brucker 17f828902e Cleanup. 5 years ago
Achim D. Brucker 1192827354 Fixed section structure. 5 years ago
Achim D. Brucker 9f8a9e6100 Removed appendix. 5 years ago
Achim D. Brucker 0697dd78f1 Reformatting & cleanup. 5 years ago
Achim D. Brucker 90fd8493c7 Reformatting. 5 years ago
Achim D. Brucker ef12bd7397 Reformatting. 5 years ago
Achim D. Brucker 1ab1f96579 Checked style. 5 years ago
Achim D. Brucker 61cdc4efcf Checked style. 5 years ago
Achim D. Brucker e0dac8a3ab Checked style. 5 years ago
Achim D. Brucker 2f0da5f6ba Removed sorry's. 5 years ago
Achim D. Brucker f290da191d Fixed markdown. 5 years ago
Achim D. Brucker 929f992291 Fixed markdown. 5 years ago
Achim D. Brucker bf1eb72987 Fixed markdown. 5 years ago
Achim D. Brucker 1ccdb5cdbf Fixed markdown. 5 years ago
Achim D. Brucker 671debf879 Initial commit. 5 years ago