Achim D. Brucker
|
635bc0f990
|
Import of current (Isabelle 2016-1) release of UPF.
|
2016-12-26 11:43:16 +00:00 |
Achim D. Brucker
|
243939c32e
|
Import of current (Isabelle 2016) release of UPF.
|
2016-08-10 10:43:34 +01:00 |
Achim D. Brucker
|
9686a2dee3
|
Import of UPF release afp-UPF-2015-05-27 (Isabelle 2015).
|
2016-08-10 10:27:32 +01:00 |
Achim D. Brucker
|
38468e46bb
|
Import of UPF release afp-UPF-2014-11-30 (Isabelle 2014).
|
2016-08-10 10:11:02 +01:00 |
Achim D. Brucker
|
1fb8d8ad7d
|
Initial commit.
|
2016-08-10 10:07:10 +01:00 |