aarne 87cbe1ac40 KeY

2004-06-09 18:43:06 +00:00

..

additions.txt

Beta release.

2003-11-25 16:27:47 +00:00

Atom.gf

resource for OCL

2004-06-01 05:29:10 +00:00

Combinations.gf

SymbPN and SymbCN in resources

2004-06-03 19:31:39 +00:00

Logic.gf

KeY

2004-06-09 18:43:06 +00:00

Predication.gf

working for OCL

2004-05-28 12:44:29 +00:00

Resource.gf

With the new reuse of abstract as interface,

2004-01-09 16:40:25 +00:00

ResourceExt.gf

Put back LocNP.

2004-02-23 16:03:08 +00:00

Structural.gf

Started experimenting with shallow resource API.

2004-02-20 16:28:42 +00:00

TestResource.gf

New place for new resource API implementations.

2003-11-25 15:11:59 +00:00