| .. |
|
doc
|
c0a5d8b88c
reorganizing things and beginning to simplify down to only what we need for PRSONA; this change will not compile
|
4 vuotta sitten |
|
inc
|
7f27cdf91b
changes made to enable things needed for proof structure in PRSONA
|
4 vuotta sitten |
|
src
|
7f27cdf91b
changes made to enable things needed for proof structure in PRSONA
|
4 vuotta sitten |
|
Makefile
|
732ae10471
bgn2 now compiles (although whether it does anything remains to be seen
|
4 vuotta sitten |
tristangurtler