clarified operation: pick current pull_date instead of previous one;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE74a4776f7a22: operations AND, OR, XOR are specified by characteristic recursive equation
- Branches
- Unknown
- Tags