HomeIsabelle/Phabricator
Diffusion afp-devel 27cde0ee0923

Refactoring: directory layout.
27cde0ee0923
Actions

Description

Refactoring: directory layout.

Details

Provenance
Achim D. Brucker <adbrucker@0x5f.org>Authored on
Parents
rAFPbe8df5368af1: Fix missing files.
Branches
Unknown
Tags
Unknown

Changes (89)

PathSize
common/
classes/
monads/
pointers/
preliminaries/
tests/
standard/
classes/
pointers/

rAFP27cde0ee0923

View Options

thys/Core_DOM/Core_DOM.thy

Loading...
View Options

thys/Core_DOM/Core_DOM_Basic_Datatypes.thy

Loading...
View Options

thys/Core_DOM/Core_DOM_Functions.thy

Loading...
View Options

thys/Core_DOM/Core_DOM_Heap_WF.thy

Loading...
View Options

thys/Core_DOM/Core_DOM_Tests.thy

Loading...
View Options

thys/Core_DOM/ROOT

Loading...
View Options

thys/Core_DOM/classes/BaseClass.thy

Loading...
View Options

thys/Core_DOM/classes/CharacterDataClass.thy

Loading...
View Options

thys/Core_DOM/classes/DocumentClass.thy

Loading...
View Options

thys/Core_DOM/classes/ElementClass.thy

Loading...
View Options

thys/Core_DOM/classes/NodeClass.thy

Loading...
View Options

thys/Core_DOM/classes/ObjectClass.thy

Loading...
View Options

thys/Core_DOM/common/Core_DOM.thy

Loading...
View Options

thys/Core_DOM/common/Core_DOM_Basic_Datatypes.thy

Loading...
View Options

thys/Core_DOM/common/Core_DOM_Functions.thy

Loading...
View Options

thys/Core_DOM/common/Core_DOM_Tests.thy

Loading...
View Options

thys/Core_DOM/common/classes/BaseClass.thy

Loading...
View Options

thys/Core_DOM/common/classes/CharacterDataClass.thy

Loading...
View Options

thys/Core_DOM/common/classes/DocumentClass.thy

Loading...
View Options

thys/Core_DOM/common/classes/NodeClass.thy

Loading...
View Options

thys/Core_DOM/common/classes/ObjectClass.thy

Loading...
View Options

thys/Core_DOM/common/monads/BaseMonad.thy

Loading...
View Options

thys/Core_DOM/common/monads/CharacterDataMonad.thy

Loading...
View Options

thys/Core_DOM/common/monads/DocumentMonad.thy

Loading...
View Options

thys/Core_DOM/common/monads/ElementMonad.thy

Loading...
View Options

thys/Core_DOM/common/monads/NodeMonad.thy

Loading...
View Options

thys/Core_DOM/common/monads/ObjectMonad.thy

Loading...
View Options

thys/Core_DOM/common/pointers/CharacterDataPointer.thy

Loading...
View Options

thys/Core_DOM/common/pointers/DocumentPointer.thy

Loading...
View Options

thys/Core_DOM/common/pointers/ElementPointer.thy

Loading...
View Options

thys/Core_DOM/common/pointers/NodePointer.thy

Loading...
View Options

thys/Core_DOM/common/pointers/ObjectPointer.thy

Loading...
View Options

thys/Core_DOM/common/pointers/Ref.thy

Loading...
View Options

thys/Core_DOM/common/preliminaries/Heap_Error_Monad.thy

Loading...
View Options

thys/Core_DOM/common/preliminaries/Hiding_Type_Variables.thy

Loading...
View Options

thys/Core_DOM/common/preliminaries/Testing_Utils.thy

Loading...
View Options

thys/Core_DOM/common/tests/Core_DOM_BaseTest.thy

Loading...
View Options

thys/Core_DOM/common/tests/Document-adoptNode.html

Loading...
View Options

thys/Core_DOM/common/tests/Document-getElementById.html

Loading...
View Options

thys/Core_DOM/common/tests/Document_adoptNode.thy

Loading...
View Options

thys/Core_DOM/common/tests/Document_getElementById.thy

Loading...
View Options

thys/Core_DOM/common/tests/Node-insertBefore.html

Loading...
View Options

thys/Core_DOM/common/tests/Node-removeChild.html

Loading...
View Options

thys/Core_DOM/common/tests/Node_insertBefore.thy

Loading...
View Options

thys/Core_DOM/common/tests/Node_removeChild.thy

Loading...
View Options

thys/Core_DOM/monads/BaseMonad.thy

Loading...
View Options

thys/Core_DOM/monads/CharacterDataMonad.thy

Loading...
View Options

thys/Core_DOM/monads/DocumentMonad.thy

Loading...
View Options

thys/Core_DOM/monads/ElementMonad.thy

Loading...
View Options

thys/Core_DOM/monads/NodeMonad.thy

Loading...
View Options

thys/Core_DOM/monads/ObjectMonad.thy

Loading...
View Options

thys/Core_DOM/pointers/CharacterDataPointer.thy

Loading...
View Options

thys/Core_DOM/pointers/DocumentPointer.thy

Loading...
View Options

thys/Core_DOM/pointers/ElementPointer.thy

Loading...
View Options

thys/Core_DOM/pointers/NodePointer.thy

Loading...
View Options

thys/Core_DOM/pointers/ObjectPointer.thy

Loading...
View Options

thys/Core_DOM/pointers/Ref.thy

Loading...
View Options

thys/Core_DOM/pointers/ShadowRootPointer.thy

Loading...
View Options

thys/Core_DOM/preliminaries/Heap_Error_Monad.thy

Loading...
View Options

thys/Core_DOM/preliminaries/Hiding_Type_Variables.thy

Loading...
View Options

thys/Core_DOM/preliminaries/Testing_Utils.thy

Loading...
View Options

thys/Core_DOM/standard/Core_DOM_Heap_WF.thy

Loading...
View Options

thys/Core_DOM/standard/classes/ElementClass.thy

Loading...
View Options

thys/Core_DOM/standard/pointers/ShadowRootPointer.thy

Loading...
View Options

thys/Core_DOM/tests/Core_DOM_BaseTest.thy

Loading...
View Options

thys/Core_DOM/tests/Document-adoptNode.html

Loading...
View Options

thys/Core_DOM/tests/Document-getElementById.html

Loading...
View Options

thys/Core_DOM/tests/Document_adoptNode.thy

Loading...
View Options

thys/Core_DOM/tests/Document_getElementById.thy

Loading...
View Options

thys/Core_DOM/tests/Node-insertBefore.html

Loading...
View Options

thys/Core_DOM/tests/Node-removeChild.html

Loading...
View Options

thys/Core_DOM/tests/Node_insertBefore.thy

Loading...
View Options

thys/Core_DOM/tests/Node_removeChild.thy

Loading...