
    AIFAD - Automated Induction of Functions over   

    Author :   
    email :    
    WWW :      

    Copyright ( C ) 2002   Austrian Research Institute for Artificial Intelligence 
    Copyright ( C ) 2003-   

    This library is free software ; you can redistribute it and/or 
    modify it under the terms of the GNU Lesser General Public 
    License as published by the Free Software Foundation ; either 
    version 2.1 of the License , or ( at your option ) any later version . 

    This library is distributed in the hope that it will be useful , 
    but WITHOUT ANY WARRANTY ; without even the implied warranty of 
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE .   See the GNU 
    Lesser General Public License for more details . 

    You should have received a copy of the GNU Lesser General Public License 
    along with this library ; if not , write to the Free Software Foundation , 
    Inc. , 51 Franklin Street , Fifth Floor , Boston , MA   02110 - 1301   USA 

   AIFAD - Automated Induction of Functions over Algebraic Datatypes

   Author: Markus Mottl
   email:  
   WWW:    

   Copyright (C) 2002  Austrian Research Institute for Artificial Intelligence
   Copyright (C) 2003- Markus Mottl

   This library is free software; you can redistribute it and/or
   modify it under the terms of the GNU Lesser General Public
   License as published by the Free Software Foundation; either
   version 2.1 of the License, or (at your option) any later version.

   This library is distributed in the hope that it will be useful,
   but WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
   Lesser General Public License for more details.

   You should have received a copy of the GNU Lesser General Public License
   along with this library; if not, write to the Free Software Foundation,
   Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301  USA
*)

module P = Algdt_parser_y
module L = Algdt_lexer

let spec = P.spec L.spec
let data = P.data L.data
let data_sample = P.data_sample L.data
let lhs_data = P.lhs_data L.data
let rhs_data = P.rhs_data L.data


    AIFAD - Automated Induction of Functions over   

    Author :   
    email :    
    WWW :      

    Copyright ( C ) 2002   Austrian Research Institute for Artificial Intelligence 
    Copyright ( C ) 2003-   

    This library is free software ; you can redistribute it and/or 
    modify it under the terms of the GNU Lesser General Public 
    License as published by the Free Software Foundation ; either 
    version 2.1 of the License , or ( at your option ) any later version . 

    This library is distributed in the hope that it will be useful , 
    but WITHOUT ANY WARRANTY ; without even the implied warranty of 
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE .   See the GNU 
    Lesser General Public License for more details . 

    You should have received a copy of the GNU Lesser General Public License 
    along with this library ; if not , write to the Free Software Foundation , 
    Inc. , 51 Franklin Street , Fifth Floor , Boston , MA   02110 - 1301   USA 

   AIFAD - Automated Induction of Functions over Algebraic Datatypes

   Author: Markus Mottl
   email:  
   WWW:    

   Copyright (C) 2002  Austrian Research Institute for Artificial Intelligence
   Copyright (C) 2003- Markus Mottl

   This library is free software; you can redistribute it and/or
   modify it under the terms of the GNU Lesser General Public
   License as published by the Free Software Foundation; either
   version 2.1 of the License, or (at your option) any later version.

   This library is distributed in the hope that it will be useful,
   but WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
   Lesser General Public License for more details.

   You should have received a copy of the GNU Lesser General Public License
   along with this library; if not, write to the Free Software Foundation,
   Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301  USA
*)

module P = Algdt_parser_y
module L = Algdt_lexer

let spec = P.spec L.spec
let data = P.data L.data
let data_sample = P.data_sample L.data
let lhs_data = P.lhs_data L.data
let rhs_data = P.rhs_data L.data
