diff --git a/ui/src/main/resources/edu/kit/iti/formal/psdbg/examples/applyEq/help.html b/ui/src/main/resources/edu/kit/iti/formal/psdbg/examples/applyEq/help.html new file mode 100644 index 0000000000000000000000000000000000000000..31611583f671ce06739e1492eed77f7246ee3699 --- /dev/null +++ b/ui/src/main/resources/edu/kit/iti/formal/psdbg/examples/applyEq/help.html @@ -0,0 +1,11 @@ + + +

Multiple instantiations of schema variables possible

+

on a Example with 'applyEq'

+ +This example script demonstrates the failing application of a statement, in this case 'applyEq', because of insufficient +parameterization. +Multiple instantiations of schema variables are possible. + + + \ No newline at end of file diff --git a/ui/src/main/resources/edu/kit/iti/formal/psdbg/examples/impLeft/help.html b/ui/src/main/resources/edu/kit/iti/formal/psdbg/examples/impLeft/help.html new file mode 100644 index 0000000000000000000000000000000000000000..0b6c3e2310781fce93baeb7709b808b09c4d2fb8 --- /dev/null +++ b/ui/src/main/resources/edu/kit/iti/formal/psdbg/examples/impLeft/help.html @@ -0,0 +1,10 @@ + + +

Application on multiple formulas possible

+

on a example with 'impLeft'

+This example script demonstrates the failing application of a statement, in this case 'impLeft', because of insufficient +parameterization. +Application is possible on multiple formulas. + + + \ No newline at end of file