Skip to content
Commit 2923924f authored by Christoph Schwering's avatar Christoph Schwering
Browse files

Unified Ground()/Substitute(). Added typedefs. 

StdName::SortedSet is to be used for H+.
Term::Seq is a sequence of terms (for z / args).
Also inlined simple constructors.
parent af2d8bf8
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment