Commit Graph

41 Commits

Author SHA1 Message Date
Achim D. Brucker deb7b457b7 Migration to Isabelle 2020. 2020-05-23 10:57:54 +01:00
Achim D. Brucker ea91410aec Import of official AFP entry for Isabelle 2019.
afp-mirror/UPF_Firewall/master This commit looks good Details
2019-06-22 23:31:30 +01:00
Achim D. Brucker fe59480469 Fixed build instructions. 2019-06-22 23:27:31 +01:00
Achim D. Brucker 79b475a21f Initial commit. 2019-01-05 17:56:32 +00:00
Achim D. Brucker 5e96945e92 Renamed session to avoid conflict with activated AFP. 2019-01-05 17:55:27 +00:00
Achim D. Brucker dcc6ae26ab Updated installation instructions for Isabelle 2018. 2018-12-26 00:01:33 +00:00
Achim D. Brucker cb4f1d2a2f Added citation information for AFP entry. 2018-12-26 00:00:53 +00:00
Achim D. Brucker 60415c8f6f Import of official AFP entry for Isabelle 2018. 2018-12-22 13:12:43 +00:00
Achim D. Brucker 28e090fdde Fixed markdown. 2018-07-04 02:02:17 +01:00
Achim D. Brucker 11e1ae9122 Merge branch 'master' of logicalhacking.com:afp-mirror/UPF_Firewall 2018-07-03 03:57:09 +01:00
Achim D. Brucker d4aadfafdb Added master repository URL. 2018-07-03 03:56:35 +01:00
Achim D. Brucker 192df4f574 Added SPDX License Identifier. 2018-07-03 03:55:41 +01:00
Achim D. Brucker 5853d96133 Fixed markdown. 2018-07-03 03:55:16 +01:00
Achim D. Brucker 69180f70a7 Fixed typo. 2017-12-10 06:52:48 +00:00
Achim D. Brucker 56bee1c2c4 Import of current (Isabelle 2017) release of UPF_Firewall. 2017-12-02 22:30:05 +00:00
Achim D. Brucker 494cd44eaf Update to match official afp entry. 2017-01-11 10:09:09 +00:00
Achim D. Brucker 963252949e Renaming to match offical naming of afp entry. 2017-01-11 10:08:30 +00:00
Achim D. Brucker 77ae1276d8 Updated name after afp acceptance. 2017-01-11 10:06:28 +00:00
Achim D. Brucker 93bb823f90 Removed references to system generated names. 2017-01-08 19:52:08 +00:00
Achim D. Brucker 3b6e93906b Added STVR article. 2017-01-08 12:08:41 +00:00
Achim D. Brucker da2138aa59 Restructured file layout to match afp default. 2017-01-07 20:42:39 +00:00
Achim D. Brucker 17e0bd6e7e Updated setup to match AFP in-situ setup. 2017-01-05 13:40:37 +00:00
Achim D. Brucker 5d71be04f7 Added HOL-TestGen reference. 2017-01-04 16:09:22 +00:00
Achim D. Brucker 73bc5df9fc Added introduction. 2017-01-04 14:58:02 +00:00
Achim D. Brucker 722ca30ad4 Removed outdated citations. 2017-01-04 14:44:15 +00:00
Achim D. Brucker dcc46bdad0 Fixed theory hierachy and includes. 2017-01-02 13:16:48 +00:00
Achim D. Brucker 17f828902e Cleanup. 2017-01-01 00:34:39 +00:00
Achim D. Brucker 1192827354 Fixed section structure. 2016-12-30 15:14:47 +00:00
Achim D. Brucker 9f8a9e6100 Removed appendix. 2016-12-29 12:23:05 +00:00
Achim D. Brucker 0697dd78f1 Reformatting & cleanup. 2016-12-28 22:40:36 +00:00
Achim D. Brucker 90fd8493c7 Reformatting. 2016-12-28 20:42:55 +00:00
Achim D. Brucker ef12bd7397 Reformatting. 2016-12-28 20:42:31 +00:00
Achim D. Brucker 1ab1f96579 Checked style. 2016-12-28 00:01:00 +00:00
Achim D. Brucker 61cdc4efcf Checked style. 2016-12-28 00:00:09 +00:00
Achim D. Brucker e0dac8a3ab Checked style. 2016-12-27 23:43:47 +00:00
Achim D. Brucker 2f0da5f6ba Removed sorry's. 2016-12-27 10:50:50 +00:00
Achim D. Brucker f290da191d Fixed markdown. 2016-12-24 10:15:18 +00:00
Achim D. Brucker 929f992291 Fixed markdown. 2016-12-24 10:13:42 +00:00
Achim D. Brucker bf1eb72987 Fixed markdown. 2016-12-24 10:13:06 +00:00
Achim D. Brucker 1ccdb5cdbf Fixed markdown. 2016-12-24 10:11:08 +00:00
Achim D. Brucker 671debf879 Initial commit. 2016-12-23 10:06:07 +00:00