Achim D. Brucker
|
ae982dface
|
Import of official AFP entry for Isabelle 2019.
afp-mirror/UPF/master This commit looks good
Details
|
2019-06-22 22:49:04 +01:00 |
Achim D. Brucker
|
90520c07fe
|
Renamed session to avoid conflict with activated AFP.
afp-mirror/UPF/master This commit looks good
Details
|
2019-01-05 17:47:38 +00:00 |
Achim D. Brucker
|
270d675500
|
Import of official AFP entry for Isabelle 2018.
|
2018-12-22 12:58:34 +00:00 |
Achim D. Brucker
|
f6ae1d216e
|
Import of current (Isabelle 2017) release of UPF.
|
2017-12-01 23:07:25 +00:00 |
Achim D. Brucker
|
0108e7575b
|
Removed references to system generated names.
|
2017-01-08 22:12:57 +00:00 |
Achim D. Brucker
|
23edf34523
|
Updated indentation.
|
2017-01-08 20:03:39 +00:00 |
Achim D. Brucker
|
dbe48c1ef6
|
Clarified file structure. Official AFP entry is now in directory UPF.
|
2017-01-07 00:05:52 +00:00 |