• Definition files

• ----------------------------

• defStar: Primitive and derived constructs for regular expressions [pdf]

• defAs0A Meet, symmetric difference, composition, conversion,... (cf. defALL, defDEMO, defFork)
• defAs0B Meet, complementation, composition, conversion,... (cf. defFork)
• defAs0C Join, complementation, composition, conversion,... [pdf]
• defAs1 Dagger, residuations,... (cf. defFoAs1, defDEMO, defFork)
• defAttrs Entity-relationship modeling: attributes and keys, placeholders, etc. (cf. defALL)
• defCardUniv Singleton/doubleton/at_least_doubleton/more_than_doubleton universe of discourse (cf. defALL)
• defFoAs0 Inclusion, left/right uniqueness,... Tuple navigator "th" (cf. defFoAs1)
• defFoAs1 Propositional connectives, useful variadic constructs, constants and points, Skolemization (cf. defALL)
• defGraphIsom Two graphs and an isomorphism between them (cf. defALL)
• defInd Notions related to inductive closure (cf. defALL)
• defMonoid Semigroup, left/right/commutative monoid, distributivity (cf. defStar)
• defProj Projections and their friends, Maddux' translation (cf. defALL, defDEMO)
• defProps Common properties of maps: transitivity, symmetry, reflexivity, strictness,... (cf. defALL, defDEMO)

• defALL: Very rich set of compatible definitions, collected together mainly for the sake of demonstration [pdf]
• defPlH Obsolete specification of place-holders, kept to test Anamorpho under stress (cf. defALL)

• defFork Primitive and derived constructs for fork algebras [pdf]

• ----------------------------

• defDEMO Just a demonstration file [pdf]
• defAndrea Demonstration carried out for a friend
• defErnst Demonstration carried out for a friend
• defTMP Temporary file, kept to perform quick tests