This repository has been archived on 2020-12-18. You can view files and clone it, but cannot push or open issues or pull requests.

Michael Herzberg 2c86c19a42 Merged scope_components into master.		2019-07-29 02:51:39 +01:00
..
BaseMonad.thy	Initial commit.	2018-12-25 23:47:54 +00:00
CharacterDataMonad.thy	Merged scope_components into master.	2019-07-29 02:51:39 +01:00
DocumentMonad.thy	Made various parts work better with the code generator.	2019-07-16 22:59:13 +01:00
ElementMonad.thy	Made various parts work better with the code generator.	2019-07-16 22:59:13 +01:00
NodeMonad.thy	Made various parts work better with the code generator.	2019-07-16 22:59:13 +01:00
ObjectMonad.thy	Added get_owner_document_ok and reads_writes_preserved2.	2019-04-02 17:18:54 +01:00