diff options
| author | cp526 | 2015-06-03 17:14:37 +0100 |
|---|---|---|
| committer | cp526 | 2015-06-03 17:14:37 +0100 |
| commit | a9555f6510b444d832cc08ed49d6888e565e9a4f (patch) | |
| tree | 82bbb5fe415b1971dca7eab64ffc3f23c4a73c9b /src/parse_ast.ml | |
| parent | 521ab32d3c253ade6d473737b399e8f5f93a5153 (diff) | |
make string functions used to UI and debugging output empty strings for theorem provers, use structural (in)equality for Isabelle and HOL for literals and values
Diffstat (limited to 'src/parse_ast.ml')
0 files changed, 0 insertions, 0 deletions