History of lib @c906659f-4b34-44fc-845f-812cfdf7cece/main
- SBL 1.4.0 or later compainin about redefinition of functions in saved image. tswd 6 years ago
- Following Prof. Ogata's suggestion, built-in BASE-BOOL is new declared as module* instead of module! tswd 7 years ago
- Change the equation of _*_ for preventing the matcher do tswd 7 years ago
- Delete confusing comments. tswd 7 years ago
- New built-in module BOOL+ which are loaded in automatic on demand. tswd 8 years ago
- Introduces new built-in operator 'op bgrind : Bool -> Bool' and tswd 8 years ago
- * Fixed inproper operator attributes of Nat, Int, Rat. tswd 8 years ago
- update copyrights to 2015 Norbert Preining 8 years ago
- Builtin _+_ and _*_ should have been associative & commutative. tswd 8 years ago
- * Allow 'show op <op-name>' can end with full stop(.) tswd 8 years ago
- Fixed clash in acz match of terms including builtin constants. tswd 8 years ago
- Fixes for SBCL. tswd 9 years ago
- Display listing style module tree without indent. tswd 9 years ago
- Makes internal modules of PigNose "( invariance check )" and "( refinement check )" be 'hidden'. tswd 9 years ago
- Delete obsolete files from lib. tswd 9 years ago
- add cafeobj cube and logo development versions Norbert Preining 9 years ago
- Preparing for broader distritution, added license headers to codes. tswd 9 years ago
- * House keeping. Deleted (moved) tex intermediate files & other garbages. tswd 9 years ago
- * Fixed various problems of citp cafe. tswd 9 years ago
- * Fix the bug in rwl.cafe tswd 9 years ago
- * 1.4.15 beta 2. tswd 9 years ago
- * Changed proof strategy for more easily walk through the proof tree. tswd 9 years ago
- * Changed proof strategy, now it works like CITP Maude. tswd 9 years ago
- * introduced /\ tswd 9 years ago
- 1. Recovering from Error is supported on SBCL platform. tswd 9 years ago
- * New search predicate now works for some simple examples. tswd 9 years ago
- * Experimental implementation of new search predicate =(,)=>+ if suchthat { } tswd 9 years ago
- * Prepare for next 'search predicates' implementations. tswd 9 years ago
- * Canonicalize variables in terms. tswd 9 years ago
- * Prevent associative extension of rules if RHS is bilt-in form. tswd 10 years ago