Global dynamic logic for Kleene monads - Githubissues

spechub / Hets

The Heterogeneous Tool Set

http://hets.eu

GNU General Public License v2.0

57 stars 19 forks source link

Global dynamic logic for Kleene monads #811

Open sternk opened 10 years ago

sternk commented 10 years ago

Reported by sergey and assigned to jseiter Migrated from http://trac.informatik.uni-bremen.de:8080/hets/ticket/811

Reimplement Global dynamic logic (https://svn-agbkb.informatik.uni-bremen.de/Hets-lib/trunk/HasCASL/Hoare/Theories/gdjCalc.thy) for Kleene monads.

sternk commented 10 years ago

Comment by maeder Migrated from http://trac.informatik.uni-bremen.de:8080/hets/ticket/811#comment:1

The Hoare directory has been moved to https://svn-agbkb.informatik.uni-bremen.de/till/trunk/diplomas/Hoare/Theories/