Diffusion afp-devel c60daf305d72

antiquoting special symbols in text
c60daf305d72
Actions

Tags

None

Subscribers

None

Description

antiquoting special symbols in text

Details

Provenance

davfuenmayor@gmail.com

Authored on

Parents

rAFP4605c928f00e: merge with default

Branches

Unknown

Tags

Unknown

Event Timeline

davfuenmayor@gmail.com committed rAFPc60daf305d72: antiquoting special symbols in text.Aug 11 2023, 5:27 PM

Changes (29)

Path

Size

Topological_Semantics

boolean_algebra.thy

boolean_algebra_infinitary.thy

boolean_algebra_operators.thy

conditions_positive.thy

ex_subminimal_logics.thy

logics_negation.thy

sse_boolean_algebra.thy

sse_boolean_algebra_quantification.thy

sse_operation_negative.thy

sse_operation_negative_quantification.thy

sse_operation_positive.thy

sse_operation_positive_quantification.thy

topo_alexandrov.thy

topo_border_algebra.thy

topo_closure_algebra.thy

topo_derivative_algebra.thy

topo_frontier_algebra.thy

topo_interior_algebra.thy

topo_negation_conditions.thy

topo_negation_fixedpoints.thy

topo_operators_basic.thy

topo_operators_derivative.thy

topo_strict_implication.thy

rAFPc60daf305d72

thys/Topological_Semantics/boolean_algebra.thy

Loading...

thys/Topological_Semantics/boolean_algebra_infinitary.thy

Loading...

thys/Topological_Semantics/boolean_algebra_operators.thy

Loading...

thys/Topological_Semantics/conditions_positive.thy

Loading...

thys/Topological_Semantics/ex_LFIs.thy

Loading...

thys/Topological_Semantics/ex_LFUs.thy

Loading...

thys/Topological_Semantics/ex_subminimal_logics.thy

Loading...

thys/Topological_Semantics/logics_LFI.thy

Loading...

thys/Topological_Semantics/logics_LFU.thy

Loading...

thys/Topological_Semantics/logics_negation.thy

Loading...

thys/Topological_Semantics/sse_boolean_algebra.thy

Loading...

thys/Topological_Semantics/sse_boolean_algebra_quantification.thy

Loading...

thys/Topological_Semantics/sse_operation_negative.thy

Loading...

thys/Topological_Semantics/sse_operation_negative_quantification.thy

Loading...

thys/Topological_Semantics/sse_operation_positive.thy

Loading...

thys/Topological_Semantics/sse_operation_positive_quantification.thy

Loading...

thys/Topological_Semantics/topo_alexandrov.thy

Loading...

thys/Topological_Semantics/topo_border_algebra.thy

Loading...

thys/Topological_Semantics/topo_closure_algebra.thy

Loading...

thys/Topological_Semantics/topo_derivative_algebra.thy

Loading...

thys/Topological_Semantics/topo_frontier_algebra.thy

Loading...

thys/Topological_Semantics/topo_interior_algebra.thy

Loading...

thys/Topological_Semantics/topo_negation_conditions.thy

Loading...

thys/Topological_Semantics/topo_negation_fixedpoints.thy

Loading...

thys/Topological_Semantics/topo_operators_basic.thy

Loading...

thys/Topological_Semantics/topo_operators_derivative.thy

Loading...

thys/Topological_Semantics/topo_strict_implication.thy

Loading...