Up to index of Isabelle/HOL/HOL-Complex/CSP/CSP_T
theory CSP_T (*-------------------------------------------*
| CSP-Prover on Isabelle2004 |
| December 2004 |
| February 2005 (modified) |
| June 2005 (modified) |
| |
| CSP-Prover on Isabelle2005 |
| October 2005 (modified) |
| April 2006 (modified) |
| March 2007 (modified) |
| |
| Yoshinao Isobe (AIST JAPAN) |
*-------------------------------------------*)
theory CSP_T
imports CSP CSP_T_Main CSP_T_xsymbols
begin
(* CSP_T with X-symbols *)
end