Up to index of Isabelle/HOL/HOL-Complex/CSP/CSP_T/CSP_F
theory CSP_F (*-------------------------------------------*
| CSP-Prover on Isabelle2004 |
| December 2004 |
| February 2005 (modified) |
| June 2005 (modified) |
| |
| CSP-Prover on Isabelle2005 |
| November 2005 (modified) |
| March 2007 (modified) |
| |
| CSP-Prover on Isabelle2008 |
| June 2008 (modified) |
| |
| Yoshinao Isobe (AIST JAPAN) |
*-------------------------------------------*)
theory CSP_F
imports CSP_T CSP_F_Main CSP_F_xsymbols
begin
(* CSP_F with X-symbols *)
end