diff options
| author | Vincent Laporte | 2019-08-05 11:35:10 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-08-05 11:35:10 +0000 |
| commit | fcdfbddbd75218a6d67c965ce363fb2a8984e224 (patch) | |
| tree | d6338f37975a8ffefa31543bddfdd65c6935de96 /lib/system.ml | |
| parent | 5f7c88d0835631ed4fdaf6dc056c958bf8865b56 (diff) | |
| parent | 08c9ac8e0919ed7e6c001542c2094640f1d7bd73 (diff) | |
Merge PR #10445: Split constructive and classical axioms for real numbers
Ack-by: Zimmi48
Ack-by: silene
Diffstat (limited to 'lib/system.ml')
0 files changed, 0 insertions, 0 deletions