44 Commits (master)
 

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