| #
bda813d1 |
|
15-Oct-2018 |
Thomas Tuerk <thomas@tuerk-brechen.de> |
rename PSL-Path theory
in "examples/PSL/path" rename
PathTheory -> PSLPathTheory
FinitePathTheory -> FinitePSLPathTheory
this eliminates the clash of theory names with "src/coalgebras/path"
|
| #
43ebfac0 |
|
16-Jan-2005 |
Mike Gordon <mjcg@cl.cam.ac.uk> |
Updated PSL stuff so it works with the new type-variables-in-alphabetic-order
behaviour of Hol_datatype (needed to tweak ``:('state,'prop)model`` to
``:('prop,'state)model`` in a few places.
|
| #
478dd1e1 |
|
04-Jan-2005 |
Mike Gordon <mjcg@cl.cam.ac.uk> |
Updated to mention ModelLemmasScript.sml.
|
| #
27419c57 |
|
14-Jun-2004 |
Mike Gordon <mjcg@cl.cam.ac.uk> |
"Sugar" --> "PSL"
Used KW's hack:
find . -name CVS -exec sh -c 'cd {} ; mv Root Root.old; sed -e "s|cvs.hol.sourceforge.net|cvs.sourceforge.net|" < Root.old > Root ' \;
to get CVS to work (thanks Keith)
|
| #
efef45b7 |
|
13-Apr-2004 |
Mike Gordon <mjcg@cl.cam.ac.uk> |
Oops. Forgot about FinitePathScript.sml.
|
| #
b4379ab2 |
|
13-Apr-2004 |
Mike Gordon <mjcg@cl.cam.ac.uk> |
Fixed to correctly describe location of PathScript.sml.
|
| #
241fc2d0 |
|
21-Feb-2004 |
Mike Gordon <mjcg@cl.cam.ac.uk> |
Tweaks.
|
| #
ca72d41f |
|
21-Jan-2004 |
Joe Hurd <joe@gilith.com> |
Hopefully this moves all the right files to the right locations.
The desired end result is two directories
examples/PSL/1.01
examples/PSL/1.1
containing the two versions of the PSL semantics.
|