Changeset 68962

Timestamp:
Feb 16, 2011, 9:19:45 PM (12 years ago)
Author:
Joachim Faulhaber
Message:

Some improvements for is_numeric predicate. Added experiments for multi threaded execution of law validation.

(No files)

Note: See TracChangeset for help on using the changeset viewer.