Tree @debian/1.5.4-2 (Download .tar.gz)
History of chaos / eval @debian/1.5.4-2
- work on require supporting foo::bar Norbert Preining 8 years ago
- After reducing a term, system re-arranges it structure if it has associative operator on top. tswd 8 years ago
- Fixed the problem with reduction immediately after adding an axiom in opening module. tswd 8 years ago
- update copyrights to 2015 Norbert Preining 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
- * Added un-autoload command. tswd 8 years ago
- Untabified the all of the source codes. The cause is unknown, but tswd 8 years ago
- * Fix inconsistency of libpath switch. tswd 8 years ago
- * Allow 'show op <op-name>' can end with full stop(.) tswd 8 years ago
- * Fixed an improper error handling of axiom LHS. tswd 8 years ago
- Fix a bug in push command. tswd 9 years ago
- Fixes for SBCL. tswd 9 years ago
- Introduced a new module 'reducer' which incorporates various flags/counters for term rewriting tswd 9 years ago
- Start refactoring. NOTE: does compile but does not work many cases. tswd 9 years ago
- Introduced new meta label :m-and-also and :m-or-else tswd 9 years ago
- * 'describe module tree' prints out module importing structure in a form of tswd 9 years ago
- * Minor modification for handling pushd/popd commands. tswd 9 years ago
- Fixed a bug of parsing terms in :init command. tswd 9 years ago
- Preparing for broader distritution, added license headers to codes. tswd 9 years ago
- * Changed proof strategy for more easily walk through the proof tree. tswd 9 years ago
- Introduced 'describe/show proof'. tswd 9 years ago
- * introduced /\ tswd 9 years ago
- * Implemented Simultaneous Induction. Some bug fixes in CITP like prover. tswd 9 years ago
- * Adopted existing codes for CITP like prover. tswd 9 years ago
- * Now 'look up [in <Modexp> :] name' almost works. tswd 9 years ago
- * New search predicate now works for some simple examples. tswd 9 years ago
- * 'show undoc' or 'show undocumented' prints out keywords which are not yet documented. tswd 9 years ago
- * introduces a command 'gendoc' which creates reference.md from online documents. tswd 9 years ago
- * Fixed the case matching to non-lnear pattern fails. tswd 9 years ago