Index

A

architectural specification
argument sorts
argument specification
associativity
atomic formulae
auxiliary
axioms

B

basic specification
basic specification framework
body

C

carrier set
closed
closed
commutativity
compatible
compatible
composition
consequence
consistent
constants
constraints
current signature

D

decomposition
definitions
display annotations
downloading

E

enrich
equivalence
expansions
extend
extended
extension

F

fitting morphism
free extensions
free specification
fully-qualified terms
function

G

generated
generic
global directory
global environment

H

hidden
homomorphisms

I

idempotency
imports
inconsistent
initial
instantiate
institutions

L

libraries
linear visibility
linear visibility
local environment
local specification

M

many-sorted first-order structure
many-sorted homomorphism
many-sorted model
many-sorted partial algebra
many-sorted reduct
many-sorted sentences
many-sorted signature
many-sorted signature morphism
many-sorted terms
mixfix identifier
mixfix notation
models
morphisms

N

named
non-linear visibility

O

operations
overloaded
overloading relations

P

parameters
parameters
partial
partial function symbols
predicate
presentation
profile
proof system

Q

qualified

R

reduct
reduction
reference
result sort

S

satisfaction
self-contained
semantics
sentences
signature morphism
signatures
site
sort-generation constraints
sorts
specialize
structured specification
subsorted models
subsorted sentences
subsorted signature
subsorted signature morphism
symbol sets
symbols

T

token
total function symbols
translated
translation
translation

U

union
unit functions
unit (left and right)
united

V

views

W

well-formed
well-sorted