Tree @debian/1.5.7-2 (Download .tar.gz)
History of chaos / construct @debian/1.5.7-2
- Modified due to the changes of term structure. tswd 6 years ago
- Fixed improper error messages. tswd 6 years ago
- Handling ':nonexec' axioms to be properly effective in copyied modules. tswd 6 years ago
- Fix a trivial bug. tswd 7 years ago
- Fix: theory axioms such as assoc, comm are properly generated in copied module. tswd 7 years ago
- Now all of the axiom declarations are evaluated after all of the tswd 7 years ago
- Fixed a bug: :nonexec label is ineffective in copied modules tswd 8 years ago
- Changed numbering policy of system generated rules. tswd 8 years ago
- Fixed degraded similarity check of terms. tswd 8 years ago
- Fixed a bug introduced 1.5.6beta which allows :nonexec axioms as a rewrite rule in CITP. tswd 8 years ago
- Some minor modification of printing debug informations. tswd 8 years ago
- Changed label setting policy of idcomp axiom. tswd 8 years ago
- Fixed a bug in checking rewrite rule similarity. tswd 8 years ago
- Changed the way of checking validity of an axiom as a rewrite rule. tswd 8 years ago
- Some warning messages has been controlled when a module is opening by unknown reason. tswd 8 years ago
- Revival of warning message of extra variables in RHS side of an axiom. tswd 8 years ago
- When the theory of an operator is id+idem, make the system generated tswd 8 years ago
- Does not introduce AC matching rule when 'idem' theory is contained tswd 8 years ago
- Partially fixed the problem of POLYNOMIAL example by Norbert Preining. tswd 8 years ago
- Treatment of =*= proof in which match method is not computed yet. tswd 8 years ago
- If an axiom contains error operators, output a warning message even the system is in silent mode. tswd 8 years ago
- update copyrights to 2015 Norbert Preining 8 years ago
- Warning message is printed when an axiom having term of error sort in it. tswd 8 years ago
- * Prototype implementation of new citp command :pctf. tswd 8 years ago
- * Started implementing inspecter for Bool valued terms. tswd 8 years ago
- Having extra variables in RHS is only reported when verbose is on. tswd 8 years ago
- Improved checking extra variables in RHS. Vars introduced by := are tswd 8 years ago
- * Added un-autoload command. tswd 8 years ago
- Untabified the all of the source codes. The cause is unknown, but tswd 8 years ago
- Fixed the parsing problem introduced by the change in ordering algorithm of operators. tswd 8 years ago